kind in Irish
kind in Irish
cineálta
dúthrachtach
gné
(type theory) The type of a type constructor or a higher-order type operator.
sórt
(type theory) The type of a type constructor or a higher-order type operator.