diff --git a/src/Control/Lens/Getter.hs b/src/Control/Lens/Getter.hs index c3cb03d84..378d35ea1 100644 --- a/src/Control/Lens/Getter.hs +++ b/src/Control/Lens/Getter.hs @@ -30,8 +30,8 @@ -- -- @type 'Getter' s a = forall r. 'Getting' r s s a a@ -- --- But we actually hide the use of 'Accessor' behind a class 'Gettable' --- to error messages from type class resolution rather than at unification +-- But we actually hide the use of 'Accessor' behind a class 'Gettable' to +-- report error messages from type class resolution rather than at unification -- time, where they are much uglier. -- -- @type 'Getter' s a = forall f. 'Gettable' f => (a -> f a) -> s -> f s@