Figured out parametric polymorphism syntax
Moves stuff around