Updated typelevel-activator