Update Prelude.fs

+ Type annotations to make signatures of generic functions more readable.