Hindley Milner Definitions

Since version 1.0.0, functions require manual currying (e.g., 'a => b => c'), which adds verbosity and potential errors compared to automatic currying in earlier versions.

Setup involves importing sanctuary-def and sanctuary-type-classes, configuring environments and type classes, which can be daunting for newcomers or simple use cases.

Type checking occurs at runtime, introducing overhead that may impact performance in production, though it can be disabled with 'checkTypes: false'.

Relies heavily on the sanctuary ecosystem, which has a smaller community and tooling compared to alternatives like TypeScript, limiting third-party support and resources.