Not dependent types...

Sometimes you have a type safe method you need to wrap inside a generic (type/method). Here's an easy but nasty way of doing it