Str $file where -> $x {$x.IO.f} = 'file.dat',