>>22
多相な関数って、例えばこんな関数?

id :: * -> *
id x = x