4 ms·

And GATDs and dependent types are pretty old too by now. E.g. Martin-Löf Type Theory was first published 1971-1972. :)