Ejemplo n.º 1
0
 internal static Comonad <Comonad <T> > δ(Comonad <T> monad) => monad.Extend(_ => _);
Ejemplo n.º 2
0
 internal static T ε(Comonad <T> monad)
 {
     throw new PrototypeException();
 }