POP, Generics, Associated Types, and Ponies