Monomorphic_Monad.Just_Do_It_Examples