GitHub repository: sysfce2/type-equality
Primary language: Haskell
Description: Haskell definition of type equality, coercion/cast and other operations (Required by haskell-constraints) | (PKGBUILD: https://archlinux.org/packages/extra/x86_64/haskell-type-equality)