type checking skeleton.