ty-0.0.2: Typed type representations and equality proofs
Data.IsTy
Description
Type class for typed type representations
Synopsis
class IsTy ty whereSource
Methods
tyEq :: ty a -> ty b -> Maybe (a :=: b)Source
Instances