-- as an application of partial application of tuples, refer to the ((,) True)
-- the funciton type signature is ((,) True) :: b -> (Bool, b) and hence is a
-- valid use in map for example:
map ((,) True) [1,2,3] => [(True,1),(True,2),(True,3)]