module TDiff where -- | -- >>> myId 5 -- WAS 4 -- NOW 5 myId :: a -> a myId x = x