MonoidalReducer does not need the second type parameter.

shapesecurity / shift-java

Shift format ECMAScript AST tooling

http://shift-ast.org/

Apache License 2.0

72 stars 25 forks source link

Closed ikarienator closed 9 years ago

ikarienator commented 9 years ago

Sub-typing in the constructor is suffice.

michaelficarra commented 9 years ago

I thought we did this because of the higher kinded types restriction.

ikarienator commented 9 years ago

Fortunately the higher kinded types problem doesn't apply here. The Monoid type parameter is logically invariant.