A bit more reorganisation and added a demo of Maybe to MonadApp