Fixes for new HSE
Fixes for new HSE
Fix GetBound for new GADTs (plus GADT record support)
GetBound: qualified name puns
Derive GTraversable for new types
Update Open.Instances
Update Names.Annotated