Redefine forl in terms of forf
Provide fn