I am a linked list

Type K is ... Type T is ...

Head of the list

Creates an empty list

Inserts an element at the head of the list

This has bizarre generic types in it