Имеется такой код:

fs g = (g fst, g snd)
examples = (fs fmap, fs liftA, fs liftM, fs id, fs ($(1,"2")), fs ((,)id), fs (:[]), fs repeat)

Идея в том, что fs в качестве аргумента принимает полиморфную функцию. Какую type signature надо указать для fs, чтобы это скомпилировалось? Если это вдруг нельзя сделать в Haskell, то есть ли языки со статической типизацией, в которых это возможно?