F sharp principle view 3