f#  more demo