{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-} module Data.Typical.Misc where data HEQ = HEQ data HLT = HLT data HGT = HGT class HCompare a b c | a b -> c where hCompare :: a -> b -> c