checkClass :: Decl a -> Int -> State CheckState ()
checkClass' :: SpanInfo -> [Decl a] -> Int -> State CheckState ()