1data Pair a b = Pair {pa :: a, pb :: b}
2
3p :: Pair (a -> a) (a -> b -> c -> b)
4p = Pair {pa = _, pb = _}
5
6