It’s just using the fact that a type ->->* c...
# getting-started
c
It’s just using the fact that a type ->->* can be translated as [A,B] by partially applying a type constructor