I have exactly the functor use case, with one exception I don’t want to allow a map to a different t...

# functional

[tmg]

I have exactly the functor use case, with one exception I don’t want to allow a map to a different type.
Ofc I can just have a concrete type, i was just wondering if there was a name for it.