Augment user type in JWT callback - Theo's Typesafe Cult