Merge pull request #275 from davidchambers/group

fix Group laws
fantasyland · Oct 13, 2017 · a448761 · a448761
2 parents 9d5eaa8 + e6be33c
commit a448761
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -312,14 +312,15 @@ Given a value `m`, one can access its type representative via the
 A value that implements the Group specification must also implement
 the [Monoid](#monoid) specification.
 
-1. `g.concat(g.invert())` is equivalent to `g.empty()` (right inverse)
-2. `g.invert().concat(g)` is equivalent to `g.empty()` (left inverse)
+1. `g.concat(g.invert())` is equivalent to `g.constructor.empty()` (right inverse)
+2. `g.invert().concat(g)` is equivalent to `g.constructor.empty()` (left inverse)
 
 #### `invert` method
 
 ```hs
 invert :: Group g => g ~> () -> g
 ```
+
 A value which has a Group must provide an `invert` method. The
 `invert` method takes no arguments: