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