Let's make it working

A bit of monad magic