κeen / typelevel-maze