shithub: MicroHs

ref: 37a178d694b1d62b93c38ea883c9b2df2c632f25
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