Update typelevel