type family (a :: SEXPTYPE) :∈ (as :: [SEXPTYPE]) :: Constraint where ...

type In a b