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