Replacing Tuple Fun constructions with proper 'fun Func/N' dito