Re: RFC Walters' "Categories and Computer Science": Function Spec