module TiFun where

-- Some tests to make sure that (->) a b = a->b and (,) a b = (a,b).

f :: (->) a a
f = id

pair :: a -> b -> (,) a b
pair x y = (x,y)