let
file_exists
name
=
succeed
(
fun
name
->
access
name
[
F_OK
])
name