T15607.hs:6:10: error:
    • Variable not in scope: pure :: Integer -> t
    • Perhaps you want to remove ‘pure’ from the explicit hiding list
      in the import of ‘Prelude’ (T15607.hs:4:1-36).