module Data.Order.Pair.Type ( OrderPair (OrderPair) ) where -- Data import Data.Order.Representation data OrderPair o a = forall o' e' . OrderPair (a, OrderRep o' e')