( [ Read(( source: File("/home/jade/example/file.png"), format: Png )), Write(( target: File("/home/jade/example/out.jpg"), format: Jpeg )) ] )