@@ -63,7 +63,7 @@ class HasType a s where
63 -- |A lens that focuses on a field with a unique type in its parent type.
63 -- |A lens that focuses on a field with a unique type in its parent type.
64 -- Compatible with the lens package's 'Control.Lens.Lens' type.
64 -- Compatible with the lens package's 'Control.Lens.Lens' type.
66− -- >>> human ^. @typed Int
66+ -- >>> human ^. typed @Int
68 typed :: Lens' s a
68 typed :: Lens' s a