@hackage specialize-th0.0.0.8

Create specialized types from polymorphic ones using TH

Very Alpha. Minimal Testing.