typical-0.0.1: Data/Typical/Misc.hs

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