@@ -602,7 +602,7 @@ instance
602-- TODO: this probably slows typechecking in euler-ps, and should not be needed
602-- TODO: this probably slows typechecking in euler-ps, and should not be needed
603type family RemoveAccessTo (l :: Symbol) (lts :: [*]) :: [*] where
603type family RemoveAccessTo (l :: Symbol) (lts :: [*]) :: [*] where
604 RemoveAccessTo l (l := t ': lts) = RemoveAccessTo l lts
604 RemoveAccessTo l (l := t ': lts) = RemoveAccessTo l lts
605− RemoveAccessTo q (l := t ': lts) = (l := t ': RemoveAccessTo l lts)
605+ RemoveAccessTo q (l := t ': lts) = (l := t ': RemoveAccessTo q lts)
606 RemoveAccessTo q '[] = '[]
606 RemoveAccessTo q '[] = '[]
608-- | Machinery to implement parseJSON
608-- | Machinery to implement parseJSON