Add parametric types

why isn't this a parametric function?