sdtoken type inference problem