Rip infers all types, but sometimes it helps to clearly describe what is expected. For this Rip allows specifying the types of some or all parameters for some or all overloads (type restrictions in Rip's parlance). In the absence of a type restriction, Rip allows any type and relies on