Expected type

EXPECTID TYPE: CAT -> TAIL, INFURD TYPE: (CAT,TAIL)

Source: Mike

This image was previously found at the following links: