added link to fix derivation
added ghci session with factorial
added explanation
formatting