they constantly try to escape
  from the darkness outside & within
  by dreaming of type systems so perfect 
  that no one will need to be good
  but the strings that are will shadow
  the abstract datatype that pretends to be