result type signatures

• History of scoped type variables