{-# 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