@@ -527,22 +527,10 @@ instance
527527
528528 combined :: OmLayer accReq errMerged (Record provMerged)
529529 combined = OmLayer (freshId unit) do
530− accProv <- coerceOm (buildLayer acc)
531− nextProv <- coerceOm (buildLayer next) # widenCtx' accProv
530+ accProv <- Om.expandErr (buildLayer acc)
531+ nextProv <- Om.expand (buildLayer next) # Om.widenCtx accProv
532532 pure (Record.merge accProv nextProv)
533533
534− coerceOm :: forall r1 e1 r2 e2 a. Om (Record r1) e1 a -> Om (Record r2) e2 a
535− coerceOm = unsafeCoerce
536−
537−-- | Om.widenCtx without constraints. Union/Nub from Prim.Row are
538−-- | compiler builtins with no runtime representation, so this is safe.
539−widenCtx'
540− :: forall additional ctx err a
541− . Record additional
542− -> Om { | ctx } err a
543− -> Om { | ctx } err a
544−widenCtx' = unsafeCoerce (Om.widenCtx :: {} -> Om {} () a -> Om {} () a)
545−
546534wireLayers
547535 :: forall layers rl req err prov
548536 . RowToList layers rl