why do you need to specify A: Manifest, why not just? [@specialized(Int) A]