On 2017-08-10 06:29 PM, Jeffrey Brown wrote: > Haskellers tend to use uninformative single-letter type variables. A Do you prefer this? id :: domain ~ codomain => domain -> codomain id argument = return_value where return_value = argument