Fixed example.

Author: zrho

test/Main.purs

@@ -16,15 +16,12 @@ foo = lens _.foo (_ { foo = _ })
 bar :: forall a b r. Lens { bar :: a | r } { bar :: b | r } a b
 bar = lens _.bar (_ { bar = _ })
 
-_Just :: forall a b r. Prism (Maybe a) (Maybe b) a b
-_Just = prism Just (maybe (Left Nothing) Right)
-
 type Foo a = { foo :: Maybe { bar :: Array a } }
 
 doc :: Foo String
 doc = { foo: Just { bar: [ "Hello", " ", "World" ]} }
 
 bars :: forall a b. Traversal (Foo a) (Foo b) a b
-bars = foo <<< _Just <<< bar <<< traverse
+bars = foo <<< _Just <<< bar <<< traversed
 
 main = print $ view bars doc