Types may be mostly marshallabble, have a subset of values that are unmarshallable. E.g. non-finite floats.