data Foo = Bar data Maybe a = Nothing | Just a data Pair a b = Pair { first :: a, second :: b }
Maybe (Maybe Bool) -- 1 P Pair Bool (Pair Foo Bool) -- 1 P
Pair a b