Don’t you need to instantiate IntAddMonoid and IntMultiplyMonoid at the bottom there?

# functional

[Robert Menke]

Don’t you need to instantiate IntAddMonoid and IntMultiplyMonoid at the bottom there?

[gildor]

Or replace class with object

[Andreas Sinz]

@Robert Menke you're right, I meant to write object and it ended up as class 😁

[tmg]

You should probably edit it. Is a nice example of using type/category theory without framework/libs behind.

[tmg]

Oh I see, you edited it already, thanks!

[Andreas Sinz]

done