The type signature on the cheat sheet says: ```haskell outside :: Prism s t a b -> Lens (s -> r) (t -> r) (a -> r) (b -> r) ``` But in fact `s` and `t`, and `a` and `b` should be swapped: ```haskell outside :: Prism s t a b -> Lens (t -> r) (s -> r) (b -> r) (a -> r) ```