Hi!
The terms implicit and explicit arguments are not defined in the Verse glossary. Is someone able to define what the differences are between them in simple terms? One difference is that an implicit argument uses “where” but beyond that, it seems they look fairly similar and both use the type type. In plain English, I understand the difference, but in computer programming, I am not sure I do. I am not clear about what is being implied or implicit or explicit since they both use the generic type type.
Any insights appreciated.