Initial assembly & object writing.
Get AnyCont righter.
Doc.
Report reasonable failures with ErrorT rather than eithers or failing in the IO monad.