You can think of a function as a producer of its r...
# announcements
d
You can think of a function as a producer of its return type T, and Nothing is compatible with any T