Either a b(但しaとbは何らかの共通の制約を持つ)に適用できる f g = either g g という関数を書こうとしたが，書けなかった．特定の型クラスに限定すれば書くことができる． {-# LANGUAGE RankNTypes #-} fshow :: (Show a, Show b) => (forall c. (Show c)…