GitHub repository: JordanMartinez/purescript-type-equality
Description: Type equality constraints