See instance arguments in Agda: https://dl.acm.org/doi/abs/10.1145/2034574.2034796 https://dl.acm.org/doi/abs/10.1145/2034574.2034796 https://agda.readthedocs.

See instance arguments in Agda: https://dl.acm.org/doi/abs/10.1145/2034574.2034796 https://dl.acm.org/doi/abs/10.1145/2034574.2034796 https://agda.readthedocs.io/en/v2.6.2.1/language/instance-arguments.html https://agda.readthedocs.io/en/v2.6.2.1/language/instance-ar...