The type on the right-hand side is usually something much more complicated and “creating an output of the desired type” is not trivial.
The type on the right-hand side is usually something much more complicated and “creating an output of the desired type” is not trivial.