Closed phadej closed 5 years ago
This function is bad fit into lens in class; but this general implementation fits well adjunctions.
lens
adjunctions
Maybe it should be even a member of Representable; then we won't need Eq (Rep f) in manually written instances.
Representable
Eq (Rep f)
This bad idea (to have in adjunctions). The requirement of Eq (Req f) is too strong in general.
Eq (Req f)
This function is bad fit into
lens
in class; but this general implementation fits welladjunctions
.Maybe it should be even a member of
Representable
; then we won't needEq (Rep f)
in manually written instances.