As I understand it, each van Laarhoven optic type can be defined by a constraint on a type constructor: type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t type Traversal ...