A proposal for a new kind encoding we need to supp...

# arrow-contributors

[raulraja]

A proposal for a new kind encoding we need to support N-arity in type class hierarchies for Bifunctor and Trifunctor, … effects https://github.com/arrow-kt/arrow-core/issues/88

[pakoito]

You're using interfaces to prevent IJ from typealias expansion into monster types, right?

[raulraja]

yes, until they fix that

[raulraja]

autocomplete never suggest aliases

[raulraja]

@danieeh can you share here a small video of what you are working with folding in the IDE?

[danieeh]

sure! one sec 👍

[danieeh]

Screen Recording 2020-04-07 at 17.26.55.mov

[raulraja]

thanks!