@@ -3,7 +3,7 @@ Magic record operations using generics (i.e. both type- and morally safe - no TH
33
44Available on [Hackage](https://hackage.haskell.org/package/generic-records)
55
6−This package uses the GHC8 Generic representation of records to derive magic classes (siilar to the OverloadedRecordLabels proposal), and prove structural subtyping relationship between records.
6+This package uses the GHC8 Generic representation of records to derive magic classes (similar to the OverloadedRecordLabels proposal), and prove structural subtyping relationship between records.
77The latter can be used to upcast the "sub-record" to the more general "interface".
88
99This is made possible by GHC-8's new Generics API, which provides the meta-data