[pshirshov]

I like capability separation with tags, though typeclasses are weird, higher-kinded types are not supported and implicits are weird.