diff options
author | Tom Smeding <tom@tomsmeding.com> | 2024-04-13 12:36:49 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2024-04-13 12:37:46 +0200 |
commit | d5e02224b16b9d616e5193e0b9c48865b2415699 (patch) | |
tree | 95fd19ba185fc4bb2a3934c3f2b5332f2eb35432 /example | |
parent | 36a89c7a26d73b0583ac765d29dadb1b918007f6 (diff) |
Remove spurious comment
The reason these via-instances work is because e.g. `Mixed sh Double`
and `Mixed sh (Primitive Double)` are both newtypes around
`XArray sh Double`, so they are indeed Coercible without any need for
special roles in orthotope.
Diffstat (limited to 'example')
0 files changed, 0 insertions, 0 deletions