so the name for is is Functor.map but here given we are in a subtype type system the upperbound of t...

# functional

[raulraja]

so the name for is is Functor.map but here given we are in a subtype type system the upperbound of types can be considered a single type or various types with arrows between them.