AndObs: t.Type<AndObs> = ...