The LogicVar monad

type LogicState gs bs

data LogicStateT gs bs m a