1 2 3 4 5
{-# LANGUAGE ForeignFunctionInterface #-} module Static001 where foreign export ccall f :: Int -> Int f :: Int -> Int f n = n + 1