Types in the grip of inferior function