module T28 where

f True = True
f False = False

-- >>> 1+1
-- 2