[mej10]

In math ( * ) is a binary operation. ( * 2) returning 2 is confusing to everyone that hasn't gotten used to a non-standard way of thinking about * .

[kovrik]

> In math ( * ) is a binary operation.

https://en.wikipedia.org/wiki/Empty_product

I am talking about Empty Product.

In all Lisps I know ( * ) returns 1, (* n) returns n. Which makes sense.

Shen's example is confusing for me.

[MichaelBurge]

* :: a -> a -> a

Π :: {a} -> a

[thaumasiotes]

This would make nonsense out of exponents less than 2. Fortunately, they actually make perfect sense.