shithub: MicroHs

ref: e28034d6111403de48d7141c563b2e84eca7c20f
dir: /tests/TypeApp.hs/

View raw version 
module TypeApp where
import Data.Typeable

foo :: forall a b . (a, b)
foo = (undefined, undefined)

main :: IO ()
main = do
  print $ read @Int "123"
  let (x, y) = foo @_ @Bool
  print $ typeOf y