shithub: MicroHs

ref: 655e90802b055f1c030bdf19c7ca3fa9e2f9cf3b
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