Then we can implement a typeclass interface:
# functional
r
Then we can implement a typeclass interface: