Hacker News new | ask | show | jobs
by def-lkb 2949 days ago 

  data Ty a where
    Int  :: Ty Int
    Bool :: Ty Bool
    ...