it’s an alias for partial application of types in ...
# arrow
p
it’s an alias for partial application of types in places where it’s necessary