@@ -10,6 +10,8 @@ at the type-level (previously only value-level meta-data was available).
1010
1111An example can be found in the `examples` folder.
1212
13+(The library makes heavy use of [Visible Type Applications](https://ghc.haskell.org/trac/ghc/wiki/TypeApplication))
14+
1315## Record fields
1416
1517Record fields can be accessed by their label.