diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/abstract/monoid.lux | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/abstract/monoid.lux b/stdlib/source/library/lux/abstract/monoid.lux index 6190cfe7e..bef824ab0 100644 --- a/stdlib/source/library/lux/abstract/monoid.lux +++ b/stdlib/source/library/lux/abstract/monoid.lux @@ -10,7 +10,9 @@ composite))) (def .public (and left right) - (All (_ l r) (-> (Monoid l) (Monoid r) (Monoid [l r]))) + (All (_ left right) + (-> (Monoid left) (Monoid right) + (Monoid [left right]))) (implementation (def identity [(at left identity) |