Changing vdom adapter main type to us GADTs because of the possibility of more than one inner text for a node