Make TestInterfaceSpec that makes sure the migrations conflict and the extras do not Abstract running of the action monad so it can be a non transaction monad or IO