Btw I think I found a solution in https://hackage.haskell.org/package/base-4.8.1.0/docs/GHC-TypeLits.html there is a type level sort type family CmpSymbol m n :: Ordering This might work. Silvio