@@ -43,7 +43,7 @@ makeLayer = OmLayer
4343-- If not, show a helpful diff of required vs available
4444class CheckAllProvided (required :: Row Type) (available :: Row Type)
4545
46−instance checkAllProvidedImpl ::
46+instance
4747 ( RowToList required reqList
4848 , RowToList available availList
4949 , CheckAllLabelsExist reqList availList required available
@@ -55,10 +55,10 @@ instance checkAllProvidedImpl ::
5555class CheckAllLabelsExist (required :: RowList Type) (available :: RowList Type) (requiredRow :: Row Type) (availableRow :: Row Type)
5656
5757-- Base case: no more requirements to check
58−instance checkAllLabelsNil :: CheckAllLabelsExist Nil available requiredRow availableRow
58+instance CheckAllLabelsExist Nil available requiredRow availableRow
5959
6060-- Recursive case: check if this label exists, then check the rest
61−instance checkAllLabelsCons ::
61+instance
6262 ( CheckLabelExists label ty available requiredRow availableRow
6363 , CheckAllLabelsExist tail available requiredRow availableRow
6464 ) =>
@@ -70,7 +70,7 @@ class CheckLabelExists (label :: Symbol) (ty :: Type) (available :: RowList Type
7070
7171-- Found it! The label matches in the instance head
7272-- TypeEquals ensures the types at this label actually match!
73−instance checkLabelExistsFound ::
73+instance
7474 TypeEquals ty ty' =>
7575 CheckLabelExists label ty (Cons label ty' tail) requiredRow availableRow
7676