3 ms·

Haskell is very, very funny. Coq brings tears of amusement to my eyes. I couldn't and can't resist. (shrug)