module TDiff where

-- |
-- >>> myId 5
-- 4
myId :: a -> a
myId x = x