@@ -630,7 +630,7 @@ elabProvider info syn fc n ty tm
631 -- Elaborate the provider term to TT and check that the type matches
631 -- Elaborate the provider term to TT and check that the type matches
632 (e, et) <- elabVal toplevel False tm
632 (e, et) <- elabVal toplevel False tm
633− unless (isProviderOf ty' et) $
633+ unless (isProviderOf (normalise ctxt [] ty') et) $
634 ifail $ "Expected provider type IO (Provider (" ++
634 ifail $ "Expected provider type IO (Provider (" ++
635 show ty' ++ "))" ++ ", got " ++ show et ++ " instead."
635 show ty' ++ "))" ++ ", got " ++ show et ++ " instead."