I think that put signatures is a good practice. I will switch to that. Maybe I preferred to not put signatures because is cooler than other languages type systems :-D Wolfgang Jeltsch wrote:

Inserting all type signatures is definitely best practice.

Yitzchak Gale wrote:

My personal style is:

o Put signatures on everything at the top-level o Inside let and where, only where necessary, BUT: