More like type classes in Haskell rather than Impl...
# arrow
s
More like type classes in Haskell rather than Implicits