So generally this pattern is used to partially app...
# arrow
s
So generally this pattern is used to partially apply types so they have 1 “hole” left, or 1 type argument left.