"no unsafe-to-compose" is an awkward near-double negative.