myId = let id : a -> a
           id x = x
       in  id