More consistent function types

Spun off at Single-element labeled tuples?

1 Like