gistfile1.txt

data ReqType = List
             | Lang
             | Flag
             | Browse
             | Check
             | Expand
             | Debug
             | Info
             | Type
             | Split
             | Sig
             | Refine
             | Auto
             | Find
             | Lint
             | Root
             | Doc
             | DumpSym
             | Boot
             | Version

data Request a where
    BrowseReq { rModule      :: ModuleName
                rDetailed    :: Bool
                rAllBindings :: Bool
                -- ^ Instead of only returning exported bindings return all top
                -- level bindings in the browsed module. (TODO: re-exported
                -- stuff too?)
              } :: Request Browse

instance deriving Show (Request a)


data Response a where
    BrowseRes [Symbol] :: Response Browse