Define operations to get 'in and out of' a free monad