Experiments with the LogicT monad transformer