Gilbert (1) [Avatar] Offline
In 6.3.4, when defining the type for display:

display : SchemaType schema -> String

I felt like I didn't understand implicit arguments well enough to understand what was going on here and it seemed like magic. Even reviewing the section on implicit arguments doesn't make it clear that this use works.