Experimenting with toList unification