@@ -602,7 +602,7 @@ instance
602602-- TODO: this probably slows typechecking in euler-ps, and should not be needed
603603type family RemoveAccessTo (l :: Symbol) (lts :: [*]) :: [*] where
604604 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)
606606 RemoveAccessTo q '[] = '[]
607607
608608-- | Machinery to implement parseJSON