if it fits on 1 line, make it one line (general remark, apply where you can):
let fn_bak = do backup t.fn in