Generics.MultiRec.TEq

Type-level equality. This module is currently provided by the multirec library, even though it is more general and does not really belong here.

Documentation

data :=: where

Constructors

Refl :: a :=: a

cast :: (a :=: b) -> a -> b