Re: [GHC] #7981: Lack of packages from category theory at Platform