)｡高階型､Higher Rank Typesとも｡HKTと略される｡

という扱いになっているが､HKTのある

式を取って式を返すという関数が式であるとさまざまな実りがある(c.f. 

)ように､型を受け取って型を返すという仕組みも型に含まれているとさまざまな嬉しさがある｡

class Functor f where
  fmap :: (a -> b) -> f a -> f b

その反面､非常に強力な機能であるため､実装が難しかったり推論がキツくなったりするなどの欠点がある｡

色々頑張ってHKTをエンコードする方法があり､OCamlの