Runtime-type-check-on-demand Packages

Monad, Monadic Hypergraph, monadic, applicative, functorial laws, groupoid, magma, monoid...