shithub: MicroHs

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