On 2017-12-20 17:27, Sergei Meshveliani wrote: > Can anybody, please, explain, how does this occur that numeric literals > are lost? > How to return them? http://agda.readthedocs.io/en/v2.5.3/language/literal-overloading.html -- /NAD