> This doesn't look like an easy task ... Maybe we can just steal Rust's trait system instead.
> My other question: should the following code work? Yes for the current spec. In the longer run it would be nice to make it sound. (No duck typing for `concept`.)
