import HAppS.State (Proxy(..), query, startSystemState, createCheckpoint, shutdownSystem)

import MyType (AskString(..),MyType(..))

entryPoint :: Proxy MyType
entryPoint = Proxy

main =
    do control <- startSystemState entryPoint
       str <- query AskString
       putStrLn str
       createCheckpoint control
       shutdownSystem control