3 ms·

But those are pretty short to write (explaining the category theory machinery behind it takes several book chapters tho :) )