MulValue: t.Type<MulValue> = ...