How to disambiguate clashing constructor names

Viewed 76

See for example Data.Maybe.Base in the stdlib — all Maybe, Any, and All have a just constructor.

Agda allows these definitions. How can one specify which one to use?

1 Answers
Related