statement :: (Monad m) => Statement -> FilterT a b m ()
statement a = FilterT $ \ (id, statement) -> return ((), (id, Sequence statement a))
statement :: (Monad m) => Statement -> FilterT a b m ()
statement a = FilterT $ \ (id, statement) -> return ((), (id, Sequence statement a))
statement a = FilterT $ \ (id, statement) -> return ((), (id, Sequence statement a))