Add parametric types

There already is one. See the second from bottom. Or did I misunderstand what you meant?