Add support for older GHC versions 8.6.5 and 9.02
omelkonian opened this issue · comments
Originally posted by @omelkonian in #277 (comment)
When we changed to RWS for our TC monad (in PR #277), we dropped support for GHC versions 8.6.5 and 9.02 because of issues with the transformers package (because of its dependency on happy).
We should make sure there is no easy way to support these (since Agda supports these and we should try to stay as close as possible to this).