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