idris-0.9.19.1: samples/tutorial/universe.idr

myid : (a : Type) -> a -> a
myid _ x = x

idid :  (a : Type) -> a -> a
idid = myid _ myid