you can tell the compiler that, if you need a T bu...
# random
k
you can tell the compiler that, if you need a T but you provide a P, there is a function that given a P gives you a T