- Some types:
	- $\MO$
	- $\MU$
	- $K(\MU)$?
	- $K(\MO)$?
	- $\TC(\MU)$?
	- $\BP$