Rename f to Fun.

This f seems to be not very C#-like. Can always use alias.