you can also define the interpreters abstract if y...
# arrow
r
you can also define the interpreters abstract if you can express the same semantics in terms of type classes