Are there any plans for how higher-kinded types wi...
# arrow
y
Are there any plans for how higher-kinded types will be emulated with decorators? Because I've been playing around with the idea a little bit and the best that I can come up with was this encoding (which requires you to use an
@with(optionFunctor)
decorator for each and every type of Option that you'll be using, which, while it doesn't seem very pragmatic, can possibly be made easier to use with an IDEA plugin or something that automatically adds the
@with
decorator with the needed type either automatically or as an Alt+Enter action):