refuse to compile if type is missing from container