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 string

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