compare-type (hackage): Compare Types of Any Kinds in Haskell
Keywords: bsd3|dependent-types|library