The LogicState monad

type LogicState gs bs

data LogicStateT gs bs m a