type checking with special shapes passing tests