Safe Haskell | None |
---|

A relation between types and values.

relates each type `TypeRel`

f`a`

to a set of values
of type `f a`

.

Safe Haskell | None |
---|

A relation between types and values.

relates each type `TypeRel`

f`a`

to a set of values
of type `f a`

.