IO operations using monadic lazy lists.

def MLList.ofTaskList {α : Type} (tasks : List (Task α)) : MLList BaseIO α

Give a list of tasks, return the monadic lazy list which returns the values as they become available.