Yeah Arrow is pretty great. There's a similar work around for HKT in java: https://github.com/highj/highj https://github.com/highj/highj. I would much rather s

Yeah Arrow is pretty great. There's a similar work around for HKT in java: https://github.com/highj/highj https://github.com/highj/highj. I would much rather some native syntax like K<T> where K is some generic though.