3 ms·
I like capability separation with tags, though typeclasses are weird, higher-kinded types are not supported and implicits are weird.
by pshirshov 3y ago
I like capability separation with tags, though typeclasses are weird, higher-kinded types are not supported and implicits are weird.