I know that if $A$ is a simple abelian variety over a number field $k$ with all endomorphisms defined over $K$ then $\mbox{End}(A_K)\otimes \mathbb{Q}$ is a division algebra with a positive involution. Albert's classification tells us that these types of division algebras come in four types
Type I: Totally real number field
Type II/III: Central simple algebra $L$ over a totally real field such that simple components of $L\otimes \mathbb{R}$ are isomorphic to $M_2(\mathbb{R})$ or $\mathbb{H}$ (depending on Type II or III respectively)
Type IV: Central simple algebra over a CM-field.
My question is, for a fixed dimension, $g$, can we find simple abelian varieties of dimension $g$ such that it's endomorphism ring falls into each of these types?
I ask because in the paper Sato-Tate distributions and Galois endomorphism modules in genus 2 (by Fite, Kedlaya, Rotger and Sutherland), they say that for simple abelian varieties of dimension 2, then $\mbox{End}(A_K)\otimes \mathbb{R}$ can be one of
$$\mathbb{R}, \mathbb{R}\times\mathbb{R}, \mathbb{C}\times\mathbb{C}, M_2(\mathbb{R})$$
If it were true that for a fixed dimension all types appear, shouldn't it be possible to get an abelian variety with endomoprhism ring $\mathbb{H}$? If it is the case that not all types can appear for a fixed dimension, is it known when they can appear?
