4 ms·

This would work but run a bit afoul of global instance canonicity.

• evincarofautumn 12y ago
  How so? I think they mean as a syntactic feature, not having parameterised modules.
  • tel 12y ago
    What happens if you define an instance inside of a nested module? When does it become available?
    • dllthomas 12y ago
      I'd like to just see a per-project uniqueness check on used instances.
  • eru 12y ago
    Yes, just a syntactic feature, as transparent sugar standing in for an extra file. (Though I haven't thought the whole thing through more than that.)