idris-0.9.17: test/reg027/expected

<<int fn>>
6
reg027a.idr:9:10:
Overlapping instance: Show (Int -> a) already defined