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