diff --git a/recursion-schemes-ext.cabal b/recursion-schemes-ext.cabal
--- a/recursion-schemes-ext.cabal
+++ b/recursion-schemes-ext.cabal
@@ -1,69 +1,81 @@
-name:                recursion-schemes-ext
-version:             1.0.0.2
-synopsis:            Amateur addenda to recursion-schemes
-description:         This package provides some exotic recursion schemes as well monadic versions of some morphisms.
-homepage:            https://hub.darcs.net/vmchale/recursion-schemes-ext#readme
-license:             BSD3
-license-file:        LICENSE
-author:              Vanessa McHale
-maintainer:          vamchale@gmail.com
-copyright:           Copyright: (c) 2017 Vanessa McHale
-category:            Control
-build-type:          Simple
-stability:           experimental
-extra-source-files:  README.md
-cabal-version:       >=1.10
+cabal-version: >=1.10
+name: recursion-schemes-ext
+version: 1.0.0.3
+license: BSD3
+license-file: LICENSE
+copyright: Copyright: (c) 2017 Vanessa McHale
+maintainer: vamchale@gmail.com
+author: Vanessa McHale
+stability: experimental
+homepage: https://hub.darcs.net/vmchale/recursion-schemes-ext#readme
+synopsis: Amateur addenda to recursion-schemes
+description:
+    This package provides some exotic recursion schemes as well monadic versions of some morphisms.
+category: Control
+build-type: Simple
+extra-source-files:
+    README.md
 
-Flag development {
-  Description: Enable `-Werror`
-  manual: True
-  default: False
-}
+source-repository head
+    type: git
+    location: https://hub.darcs.net/vmchale/recursion-schemes-ext
 
+flag development
+    description:
+        Enable `-Werror`
+    default: False
+    manual: True
+
 library
-  hs-source-dirs:      src
-  exposed-modules:     Data.Functor.Foldable.Exotic
-  build-depends:       base > 4.9 && < 4.11
-                     , recursion-schemes >= 5.0
-                     , lens
-                     , composition-prelude
-  default-language:    Haskell2010
-  if flag(development)
-    ghc-options:       -Werror
-  ghc-options:         -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
+    exposed-modules:
+        Data.Functor.Foldable.Exotic
+    hs-source-dirs: src
+    default-language: Haskell2010
+    ghc-options: -Wall -Wincomplete-uni-patterns
+                 -Wincomplete-record-updates
+    build-depends:
+        base >4.9 && <5,
+        recursion-schemes >=5.0,
+        lens -any,
+        composition-prelude -any
+    
+    if flag(development)
+        ghc-options: -Werror
 
 test-suite recursion-schemes-test
-  type:                exitcode-stdio-1.0
-  hs-source-dirs:      test
-  main-is:             Spec.hs
-  other-modules:       Examples
-  build-depends:       base
-                     , recursion-schemes-ext
-                     , recursion-schemes >= 5.0
-                     , deepseq
-                     , hspec
-  ghc-options:         -threaded -rtsopts -with-rtsopts=-N
-  default-language:    Haskell2010
-  if flag(development)
-    ghc-options:       -Werror
-  ghc-options:         -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
+    type: exitcode-stdio-1.0
+    main-is: Spec.hs
+    hs-source-dirs: test
+    other-modules:
+        Examples
+    default-language: Haskell2010
+    ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
+                 -Wincomplete-uni-patterns -Wincomplete-record-updates
+    build-depends:
+        base -any,
+        recursion-schemes-ext -any,
+        recursion-schemes >=5.0,
+        deepseq -any,
+        hspec -any
+    
+    if flag(development)
+        ghc-options: -Werror
 
 benchmark recursion-schemes-bench
-  type:                exitcode-stdio-1.0
-  hs-source-dirs:      bench
-                     , test
-  main-is:             Bench.hs
-  other-modules:       Examples
-  build-depends:       base
-                     , recursion-schemes-ext
-                     , criterion
-                     , deepseq
-                     , recursion-schemes
-  default-language:    Haskell2010
-  if flag(development)
-    ghc-options:       -Werror
-  ghc-options:         -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
-
-source-repository head
-  type:     git
-  location: https://hub.darcs.net/vmchale/recursion-schemes-ext
+    type: exitcode-stdio-1.0
+    main-is: Bench.hs
+    hs-source-dirs: bench test
+    other-modules:
+        Examples
+    default-language: Haskell2010
+    ghc-options: -Wall -Wincomplete-uni-patterns
+                 -Wincomplete-record-updates
+    build-depends:
+        base -any,
+        recursion-schemes-ext -any,
+        criterion -any,
+        deepseq -any,
+        recursion-schemes -any
+    
+    if flag(development)
+        ghc-options: -Werror
diff --git a/src/Data/Functor/Foldable/Exotic.hs b/src/Data/Functor/Foldable/Exotic.hs
--- a/src/Data/Functor/Foldable/Exotic.hs
+++ b/src/Data/Functor/Foldable/Exotic.hs
@@ -47,7 +47,7 @@
 finish :: (Eq a) => (a -> a) -> a -> a
 finish = dock .* iterate
 
--- | A map of F-algebras
+-- | A map of F-algebras (pseudoprism)
 type Trans s a = ∀ f. Functor f => (f a -> a) -> f s -> s
 
 -- | Mutumorphism