Make sure that polykinded Typeable is defaultable (Trac #8931)
Fix desguaring of bang patterns (Trac #8952)

A palpable bug, although one that will rarely bite
Test Trac #8931