extras_plus :: TyThing -> [TyThing]
extras_plus thing = thing : implicitTyThings thing
extras_plus :: TyThing -> [TyThing]
extras_plus thing = thing : implicitTyThings thing
extras_plus thing = thing : implicitTyThings thing