3 ms·

Usually as a specialization of GADTs