Higher Kinded Types
Higher kinded types are types which take types which take types as parameters. I know, it burns the eyes just to read that sentence. So let's try to break it down.
A type which takes a type is something we've already dealt with in a prior