1 2 3 4 5 6 7 8 9 10 11 12 13
{-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE TraceTypeCheck #-} import Internals g :: Num b => b data Output where Out :: a -> Output f = Out g :: Output