Typechecking instances