3 ms·

After reading the doc, I am curious if the language has type constructor/support higher kinder type.