are illegal states
unrepresentable?

are illegal states
just detectable?

or are illegal states
lying in wait
waiting to strike
and utterly
unpredictable?

#pointfreeverse

a dog is just a wolf
in the category of pettable

#pointfreeverse

a missing database index
like snowy winter streets
would not a typeclass fix?

#pointfreeverse

a loaf of bread 
a jug of wine 
a typeclass 
and thou

#pointfreeverse

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