UI 'choose' editor combinator for creating more dynamic editors
There is no editor combinator for creating custom editors yet that works the same way as choosing constructors in an ADT
There is no editor combinator for creating custom editors yet that works the same way as choosing constructors in an ADT