public interface WitnessType<W extends WitnessType<W>>
FunctionalAdapter<W>
adapter()
FunctionalAdapter<W> adapter()