Documentation

type (↝) m n = forall a. m a -> n a infixr 3 Source

type (⇝) t u = forall m. t m ↝ u m infixr 3 Source

data a ⇄ b Source

class Isomorphic a b where Source

data t ↝⇄ u Source

class Isomorphic2 t u where Source

iso2FromIso :: (forall a. t a ⇄ u a) -> t ↝⇄ u Source

data v ⇝⇄ w Source

class Isomorphic3 v w where Source

class Category t where Source

class Symmetric t where Source