Nitpick:

   EitherT err Logic a
   LogicT (Either err) a

(The monad transformer takes the monad and the value type, not the monad applied to the value type)