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