Yet another various monads implementation on different languages