Singpolyma

As long as your types implement Typeable and you're ok constraining to that, you can.

But any solution that uses Typeable is the wrong solution.