ghc-boot-8.4.1: Shared functionality between GHC and its boot libraries