Merging monadic form with coco's.