The effect type that methods on this algebra produce. Represents an effect that, when run, will draw something and produce a value.