Symbol in typeclass bug? #3243

class WithoutSym t where
  wrel ∷ ∀ sym r2
       . IsSymbol sym
       ⇒ RowCons sym t () r2
       ⇒ RowLacks sym ()
       ⇒ SProxy sym
       → t
       → { | r2 }

-- | This works fine
instance wsInt ∷ WithoutSym Int where
  wrel sym p = insert sym p {}


class IsSymbol sym <= Rel t sym where
  rel ∷ ∀ r2
       . RowCons sym t () r2
       ⇒ RowLacks sym ()
       ⇒ SProxy sym
       → t
       → { | r2 }

instance relInt ∷ Rel Int "test" where
  rel sym p = insert sym p {}
-- |          ^
-- | Could not match type
-- |   ( test :: Int
-- |   )
-- | with type
-- |   r24
-- | Prim.RowCons "test"
-- |              Int
-- |              ()
-- |              r24