defining a class

Stream: general

[Simon Hudon]

The reason has to do with the fact that the function seven takes an argument of type sevenish but it is not an explicit argument.