Agda-2.3.2.2: test/interaction/Issue591.agda

module Issue591 where

import Issue591.M