Moved free monad examples into the single package