yes the contract tells the compiler that this relationship i kotlinlang #arrow-contributors

yes, the contract tells the compiler that this rel...

raulraja

12/02/2018, 11:42 PM

yes, the contract tells the compiler that this relationship is true by convention because

Option<A>

is a sub-type of

OptionOf<A>