@@ -77,8 +77,8 @@ class HasField (field :: Symbol) s t a b | s field -> a where
7777 -- If the field's type comes from a type parameter, it can be changed:
7878 -- >>> :t human
7979 -- human :: Human Bool
80− -- >>> :t human & field @"other" .~ 42
81− -- human & field @"other" .~ 42 :: Num p => Human p
80+ -- >>> :t human & field @"other" .~ (42 :: Int)
81+ -- human & field @"other" .~ (42 :: Int) :: Human Int
8282 -- >>> human & field @"other" .~ 42
8383 -- Human {name = "Tunyasz", age = 50, address = "London", other = 42}
8484 field :: Lens s t a b