shithub: MicroHs

ref: bdd38072a2fa4108fff41da806309074e79ce6de
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