-------------------------------------------------------------------------------
--- $Id: Sim.hs#1 2009/10/01 10:31:09 REDMOND\\satnams $
-------------------------------------------------------------------------------

module Lava.Sim
where

data Sim v = Sim v
             deriving (Eq, Show)

instance Monad Sim where
  (>>=) (Sim v) f = f v
  return = Sim

desim :: Sim a -> a
desim (Sim a) = a