[ File ] striŋ

☞ x ≔ File neł.
✎ łrite: x, stop.
☞ y ≔ File _neł: (Path /tmp: ‘a.txt’).
✎ łrite: y, stop.
[File (no path)]
/tmp/a.txt