square x = x * x

values :: {#Int}
values = {x \\ x <- [1 .. 10]}