can you partially define a tuple in haskell
-- 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)]