な型だが、Showのインスタンスである必要があるので、たぶん多相な高階型とは言わない(?)

これも高階多相型と呼ぶなら、「

」なのでノートを分ける必要がない

他に候補がないかの確認は必要

高階多相関数ではない高階関数があるイメージ

f :: (a -> a) -> Bool		-- 高階多相関数
f :: (Int -> Int) -> Bool	-- 高階多相関数ではない高階関数

-- この記述は架空
Hoge f a :: (* -> *) -> * -> *			-- 高階多相型
Show a => Hoge a :: (Show => *) -> *	-- 高階多相型ではない高階型(?) というよりも「制限のある高階多相型」かな