free monad example for meetup