Fp

Interpreter Basics.

Monad Laws.