(fun :[[a]] -> :[[a]])
