Higher Kinded Types (Monads, Functors, etc.)

[anandabits (Matthew Johnson)]

Agree. Another missing generics feature that I run into pretty frequently is the lack of generalized supertype constraints.