Synopsis:
toList x -- provides a list of elements in the basic list x.
This is a good way to convert a list of some other type to a list of type List.
i1 : toList [a,b,c] o1 = {a, b, c} o1 : List