Is the `with MA ` construct in the function body not superfl kotlinlang #arrow-contributors

Is the `with(MA) { ... }` construct in the functio...

tginiotis

09/07/2018, 10:39 AM

Is the

with(MA) { ... }

construct in the function body not superfluous? Since it is clear that the function needs to be called with a typeclass instance (

MA

) as an argument and so the instance is available/provided in the function's context for all

types without any additional

with(MA) { ... }

syntax?