Should all of the members of the data class have s...
# arrow
j
Should all of the members of the data class have semigroup and monoid instances?