3 ms·

Type level programming is a powerful feature. This is of course a humorous show off which still neatly demonstrates it.