The canonical empty-list functor: []
[]
The singleton EmptyList instance.
Returns the singleton EmptyList instance. Same as instance.