sseefried/shady-graphics — comment on commit fc12faff3d1acb31fcef1a4d9316ab0d6ed34e50
File:  line 0
By sseefried:

Here's another thought. Perhaps the problem is that `Region` is defined as `Image BoolE`. What if it were `Image (Exp Any)` or even some other custom type?

Then it wouldn't be a problem if it were a monoid.

What do you think?