Another type of thing:
Dependent type: (a : b) -> b a
Still prefer `Type -> Type` over `* -> *`. 😅
Quote Tweet
Some example types of things:
Function: a -> a
Higher order function: (a -> a) -> a -> a
Type constructor: * -> *
Higher kinded type: (* -> *) -> * -> *