get :: (Monad m) => FilterT a b m (Int, Statement)
get = FilterT $ \ a -> return (a, a)
get :: (Monad m) => FilterT a b m (Int, Statement)
get = FilterT $ \ a -> return (a, a)
get = FilterT $ \ a -> return (a, a)