Strange. Things seem to work if I use read() instead
of <$socket>. Sort of have fakey tile placement working.
fp sent me an interesting paper about formalizing categorical
reasoning (concentrating on functoriality and natural isomorphism)
in isabelle.