haskell - bi f a b = (f a, f b) 的通用变体

Question

是否有任何类型安全的方法来编写函数

bi f a b = (f a, f b)

这样就可以像这样使用它:

x1 :: (Integer, Char)
x1 = bi head [2,3] "45"

x2 :: (Integer, Char)
x2 = bi fst (2,'3') ('4',5)

x3 :: (Integer, Double)
x3 = bi (1+) 2 3.45

?
在 rank-n-types 示例中，总会有一些更简单的东西，例如

g :: (forall a. a -> a) -> a -> a -> (a, a)
g f a b = (f a, f b)

Answer 1

{-# LANGUAGE TemplateHaskell #-}

bi f = [| \a b -> ($f a, $f b)|]

ghci> :set -XTemplateHaskell 
ghci> $(bi [|head|]) [2,3] "45" 
(2,'4')

;)