Agda-2.3.2.2: test/interaction/Issue591/M.agda

module Issue591.M where