type-spec-0.3.0.1: 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