I cannot install the library with GHC 8.10.1 because i) the upper bound version for `base` and ii) https://github.com/haskell-hvr/deepseq-generics/issues/8. Blocking https://github.com/agda/agda/issues/4582.