can't we define 
a documentation typeclass 
with types for specific documentation artifacts 
then we could compile 
our documentation 
into an executable 
that would generate 
readable documentation 
in various forms

#pointfreeverse