type-safe priming -- specific example