why introduce the fun() -> ... end() here?