there are no "decisive types"