-- Test for importing the standard library

import list

l : List(N)
l = each(\x. x + 1, [1,2,3])