Boost.Monads proposal for GSoC 2014 (demo status)