When compiling with GHC 8.2.2-rc1:
```
src/Error.hs:25:17: error:
Variable ‘r’ used as both a kind and a type
Did you intend to use TypeInType?
|
25 | error :: forall (r :: RuntimeRep) . forall (a :: TYPE r) . HasCallStack => Text -> a
| ^^^^^^^^^^^^^^^^^
```
`TypeInType` should be enabled, see GHC issue 14121
https://ghc.haskell.org/trac/ghc/ticket/14121
