{-# LANGUAGE TemplateHaskell, 
             DeriveDataTypeable,
             MultiParamTypeClasses, 
             TypeFamilies, 
             FlexibleContexts 
#-}


import Happstack.State
import Data.Typeable
--import Control.Monad.State
--import Control.Monad.Reader
--import Control.Concurrent (MVar)


data AppState = AppState { i :: Int
                         , j :: Int
                         , s :: String
                         }