Future combinators.
The Konstant Mocker combinator.
Currently unable to implement due the M combinator requiring infinite type recursion.
Implementable as k m if that happens.
The L combinator.
Currently unable to implement due the M combinator requiring infinite type recursion.
Implementable as c b m if that ever becomes possible.
The M combinator.
Currently unable to implement due to requiring infinite type recursion.
Implementable as s i i if that ever becomes possible.
The M2 combinator.
Currently unable to implement due the M combinator requiring infinite type recursion.
Implementable as b m if that happens.
The U combinator.
Currently unable to implement due the M combinator requiring infinite type recursion.
Implementable as l o if that happens.
The Y combinator.
Currently unable to implement due the M combinator requiring infinite type recursion.
Implementable as s l l if that happens.
The ϴ (Big Theta) combinator.
Currently unable to implement due the M combinator requiring infinite type recursion.
Implementable as y o if that happens.
The Ω (Big omega) combinator.
Currently unable to implement due the M combinator requiring infinite type recursion.
Implementable as m m if that happens.
The Crossed Konstant Mocker combinator.
Currently unable to implement due the M combinator requiring infinite type recursion.
Implementable as
c (k m)if that happens.