Open
Description
For now, we have a policy for where in the functions, and different rules for other places where where is used (e.g. type classes, instances, etc.).
I propose to apply the existing where rule to all wheres:
class Semigroup a
where
(<>) :: a -> a -> aWe would have:
a. A single rule – easier to remember
b. Consistent style of where usage
c. Solved problem of huge constraints in the type classes definitions
d. Discourage for writing empty wheres in instances
e. ?
I guess it would have a positive effect. Let me know what you think! 👂🏼
502B