idris-0.10: test/reg027/reg027a.idr

module Main

IntFn : Type -> Type
IntFn = \x => Int -> x
  
implementation Show (IntFn a) where
    show x = "<<char fn>>"
  
implementation Show (Int -> b) where
    show x = "<<int fn>>"