Use typeclass instead of upper type bound to represent a domain of discourse

[kory33]

This should be possible. I'm just not sure how unpleasant grammars would look like.

[kory33]

The main reason for this proposal arises from #2. Typeclass approach makes the whole constructions a lot more constructive, which will be more mathematical and less reliant on type system.