diff --git a/src/Control/Lens/Cons.idr b/src/Control/Lens/Cons.idr
index 65c279b..254aca2 100644
--- a/src/Control/Lens/Cons.idr
+++ b/src/Control/Lens/Cons.idr
@@ -67,5 +67,5 @@ last_ @{_} @{MkIsOptional _} = snoc_ . second
 
 ||| Use a `Snoc` implementation to construct an empty sequence.
 public export
-nil' : Snoc s s a a => s
-nil' = review snocIso Nothing
+lin : Snoc s s a a => s
+lin = review snocIso Nothing