O
в некоторых других языках функции могут принимать типы и возвращать типы, принимать термы и возвращать типы и так далее. более того, в хаскеле можно объявлять функции на типах по аналогии с функциями на термах:
Prelude> type family F a :: *
Prelude> type instance F Int = Char
Prelude> :k F Int
F Int :: *
Prelude> :t (undefined :: F Int)
(undefined :: F Int) :: Char