From e6be33ce820fe1ab548d513d38dd504c9e55e1ec Mon Sep 17 00:00:00 2001
From: David Chambers <dc@davidchambers.me>
Date: Fri, 13 Oct 2017 23:54:47 +0200
Subject: [PATCH] fix Group laws

---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 3a1c8be..9a7b19b 100644
--- 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: