Using values that are not first class in LLVM

NotFirstClass.hs

module Main where

import Data.Int
import LLVM.Core
import LLVM.ExecutionEngine

notFirstClass :: CodeGenModule (Function ([Int8] -> IO [Int8]))
notFirstClass = do

    test <- createNamedFunction ExternalLinkage "test" $ \x -> do
        ret x
    let _ = test :: Function ([Int8] ->  IO [Int8])

    return test

main :: IO ()
main = do
    initializeNativeTarget
    xs <- simpleFunction notFirstClass
    xs [1,2,3] >>= print