4 Jan
2016
4 Jan
'16
10:01 p.m.
a and c can be anything: function, algebraic type, ... That's the thing. Prod a [c] leaves plenty of room.