I don't see anything wrong with rose trees:

    datatype 'a tree = T of 'a * 'a tree list

Do you?