[monad] added: sequence, map, filter, fold, ap tests
[monad] added: greenelt support