Fold: add toList
Hylo: add refolding
add TODO/comment