purescript-type-isequal (bower): Type equality check returning a Boolean kind. Useful for type-level programming.
Keywords: purescript|type-level