Making := take a typed lhs
Getting the examples working again.
Letting and Action also be a monad.