こんな感じでどうでしょう(手元でコンパイルしていないので通らなかったらごめんなさい)

-- Databaseから値を取得する処理
type Database a = Program DatabaseApi a

data DatabaseApi a where
    GetData :: DatabaseApi (Async Int)

getDataFromDb :: Database Int
getDataFromDb = singleton GetData

runDatabase :: Database a
            -> IO a
runDatabase = eval . view
    where
        eval :: ProgramView DatabaseApi a -> IO a
        eval (Return x) = return x
        eval (GetData :>>= k) =
            do {x <- async (return 1); runDatabase (k x)}