I think in type theory terms it s a function type with an ex kotlinlang #minutest

I think in type theory terms it’s a function type ...

natpryce

01/20/2019, 9:01 PM

I think in type theory terms it’s a function type with an existentially quantified type parameter.