that works and it s available but you can t write a polymorp kotlinlang #arrow-contributors

that works and it's available but you can't write ...

raulraja

12/03/2018, 11:34 AM

that works and it's available but you can't write a polymorphic version of it because you can;t use type params directly in contracts. for example

returns() implies (this@fix is A)

where

is a type param is invalid even when reified.