Yes, this makes sense. Any pure function may be lifted to monadic, but not vice versa. This is logical.