You can clone with
When we re-generalized Getting we introduced a problem.
If you go to use (^.) on a traversal with constraints on each argument, like, say, dynamic then you now have to use an explicit type signature, because otherwise the b and d variables in Traversal a b c d are totally unconstrained.
Traversal a b c d
We need to come up with a work around.
simple :: SimpleLensLike f a b -> SimpleLensLike f a b
simple l = l
should do the trick
Added `simple` (issue #63) and bumped to 3.0.1