No more Free monad please