hask-0: Categories
Hask.Eq
type family (==) :: i -> i -> j Source
Instances
class (hom ~ Hom) => Subst hom where Source
Methods
subst :: Hom (a == b) (hom (f a) (f b)) Source