A functional UNIX shell