... the video includes amazing examples of composing documentation and type-checking(!) documentation.