- typeToEditor` (MADT kvs) = abort "blurp"/*bijectEditorValue (\(IADT i m)->(i, m)) (uncurry IADT)
- $ choose [(k, containerL (map typeToEditor` v) <<@ directionAttr Horizontal)\\(k,v)<-kvs]*/
+ typeToEditor` (MADT kvs) = bijectEditorValue (\(IADT i m)->(i, m)) (uncurry IADT)
+ $ containerc
+ (chooseWithDropdown [k\\(k,_)<-kvs])
+ [(maybe undef id
+ , containerL (map typeToEditor` v) <<@ directionAttr Horizontal
+ )\\(k,v)<-kvs]