isIncreasingTuple :: (Ord a) => (a,a) -> Bool -- this is our first type signature for the function isIncreasingTuple. It gives context to the tuple argument of type, a, which belongs to the typeclass Ord (more details on this to come), and returns a boolean value 
isIncreasingTuple (x, y) = x < y
isIncreasingTuple :: (Ord a) => (a,a) -> Bool
isIncreasingTuple (x, y) = x < y
isIncreasingTuple (x, y) = x < y