Using cataM in inferTypes