These are Haskell type that can take in extra types as ā€˜arguments’.