kindArity :: RawKind -> Int
kindArity k = case k of
    ClassKind _ -> 0
    FunKind _ _ rk _ -> 1 + kindArity rk

-- | check if a class occurs in one of its super kinds
kindArity :: RawKind -> Int
kindArity k = case k of
    ClassKind _ -> 0
    FunKind _ _ rk _ -> 1 + kindArity rk

-- | check if a class occurs in one of its super kinds
kindArity k = case k of
    ClassKind _ -> 0
    FunKind _ _ rk _ -> 1 + kindArity rk

-- | check if a class occurs in one of its super kinds