typealias OptionValidator<AllT> = OptionTransformContext.(AllT) -> Unit
A callback validates the final option type