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