Experimenting with type inequality