Experimental implementation of simple type inferrence for monadic computations.
Merge branch 'master' of https://github.com/samsergey/formica into monad-inferrence
Some more experiments.
Merge branch 'monad-inferrence' of https://github.com/samsergey/formica