continuation based effect monad. work in progress for issue #11