generated at
ImplicitParams
https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/implicit_parameters.html
https://wiki.haskell.org/Implicit_parameters
https://stackoverflow.com/questions/63703610/how-to-replace-implicitparams-with-the-reflection-package