thrice :: (a -> a) -> (a -> a)
thrice f x = f (f (f x))

minus2 :: Integral a => a -> a
minus2 x = x-2

minus6 = thrice minus2

plus3 :: Num a => a -> a
plus3 = (+3)

same :: Integral a => a -> a
same x = (minus6.plus3.plus3) x