implementation module square import StdEnv foreign export square square :: !Int -> Int square x = x * x call_square :: !Int -> Int call_square x = code { ccall square "GI:I" }; Start = map call_square [1..10]