rnfail026.hs:16:27: error: [GHC-83865]
    • Expected kind ‘* -> *’, but ‘Set a’ has kind ‘*’
    • In the first argument of ‘Monad’, namely
        ‘(forall a. Eq a => Set a)’
      In the instance declaration for ‘Monad (forall a. Eq a => Set a)’