Documentation for all-with-defaults