Interface ProperVal<T>