this includes a halfway-reasonable parsing of object layers, as well as
some monad plumbing to get them all in the right place.