TODO be more complete about checking laws for typeclass instances set up tut and friends move arbitrary instances somewhere that one can import into other projects Missing Data Structures Zipper FingerTree