elim1 | Data.HBifunctor.Tensor, Data.Functor.Combinator |
elim2 | Data.HBifunctor.Tensor, Data.Functor.Combinator |
EnvT | |
1 (Data Constructor) | Data.Functor.Combinator |
2 (Type/Class) | Data.Functor.Combinator |
Exchange | |
1 (Type/Class) | Control.Natural.IsoF |
2 (Data Constructor) | Control.Natural.IsoF |