I see, for the purpose of Kategory we need somethi...

# arrow

[raulraja]

I see, for the purpose of Kategory we need something similar to global typeclasses in Haskell not so much of a full blown implicits implementation though if we achieve that great. InstanceParametrizedType so far has been able to support all of our use cases