type-spec-0.2.0.0: Type Level Specification by Example
Test.TypeSpec.Internal.Equality
Description
Type Equality
Synopsis
type family EqExtra (a :: ak) (b :: bk) :: Bool where ... Source #
Operator 'Data.Equality.(==)' expects both arguments to have the same kind.
Equations