map to `Unit`, not `Nothing`. `Nothing` is a type...

# arrow

[Bob Glamm]

map to Unit, not Nothing. Nothing is a type that contains zero values, so it is impossible to map to. Unit is the type that contains exactly one value, by convention labeled Unit or ()