1 2 3 4
'(#,,,#) Int Char Bool Maybe :: (# *, *, *, * -> * #) = '(# Int, Char, Bool, Maybe #) '(,,,) Int Char Bool Maybe :: (*, *, *, * -> *) = '(Int, Char, Bool, Maybe)