Valid<T> carries its schema