Compatibility with GHC 8.2.1