protocol ConstructibleFromValue<T> { init(_ value: T) }