Extend free monad language