type-checking deemed oK