idris-1.2.0: test/reg027/expected

<<int fn>>
reg027a.idr:9:16-30:
  |
9 | implementation Show (Int -> b) where
  |                ~~~~~~~~~~~~~~~
Overlapping implementation: Show (Int -> a) already defined