Visible type applications
- Exploring in GHCi
- Clarifying point-free functions
- Resolving type ambiguity
- Increasing type safety
- 7 minutes
TypeApplications allows you to instantiate one or more of a polymorphic function’s type arguments to a specific type. Use the
@ keyword to apply the function to a type. This has a lot of benefits both for learning and for writing code.