(conditional_construct) @fold