(define extract
(command #:inputs (archive #:type File)
#:run "tar" "--extract" "--file" archive
#:outputs (extracted-file
#:type File
#:binding ((glob . "hello.txt")))))
(workflow ((archive #:type File))
(extract #:archive archive))
