diff --git a/src/Lets/GetSetLens.hs b/src/Lets/GetSetLens.hs
index ec5e29d..8f0984d 100644
--- a/src/Lets/GetSetLens.hs
+++ b/src/Lets/GetSetLens.hs
@@ -37,14 +37,14 @@ module Lets.GetSetLens (
 , modifyCityUppercase
 ) where
 
-import Control.Applicative((<*>))
+import Control.Applicative(Applicative((<*>)))
 import Data.Bool(bool)
 import Data.Char(toUpper)
 import Data.Map(Map)
 import qualified Data.Map as Map(insert, delete, lookup)
 import Data.Set(Set)
 import qualified Data.Set as Set(insert, delete, member)
-import Lets.Data
+import Lets.Data(Person(Person), Locality(Locality), Address(Address))
 import Prelude hiding (product)
 
 -- $setup
diff --git a/src/Lets/Lens/Lens.hs b/src/Lets/Lens/Lens.hs
index 5b614e2..e2cc676 100644
--- a/src/Lets/Lens/Lens.hs
+++ b/src/Lets/Lens/Lens.hs
@@ -73,19 +73,19 @@ module Lets.Lens.Lens (
 , intOrLengthEven
 ) where
 
-import Control.Applicative(Applicative(..))
+import Control.Applicative(Applicative((<*>), pure))
 import Data.Bool(bool)
 import Data.Char(toUpper)
-import Data.Foldable(Foldable(..))
+import Data.Foldable(Foldable(foldMap))
 import Data.Functor((<$>))
 import Data.Map(Map)
 import qualified Data.Map as Map(insert, delete, lookup)
-import Data.Monoid(Monoid(..))
+import Data.Monoid(Monoid)
 import qualified Data.Set as Set(Set, insert, delete, member)
-import Data.Traversable(Traversable(..))
-import Lets.Data
-import Lets.Lens.Choice
-import Lets.Lens.Profunctor
+import Data.Traversable(Traversable(traverse))
+import Lets.Data(AlongsideLeft(AlongsideLeft, getAlongsideLeft), AlongsideRight(AlongsideRight, getAlongsideRight), Identity(Identity, getIdentity), Const(Const, getConst), Tagged(Tagged, getTagged), IntOr(IntOrIs, IntOrIsNot), IntAnd(IntAnd), Person(Person), Locality(Locality), Address(Address))
+import Lets.Lens.Choice(Choice(left, right))
+import Lets.Lens.Profunctor(Profunctor(dimap))
 import Prelude hiding (product)
 
 -- $setup
diff --git a/src/Lets/OpticPolyLens.hs b/src/Lets/OpticPolyLens.hs
index 416deba..fb86853 100644
--- a/src/Lets/OpticPolyLens.hs
+++ b/src/Lets/OpticPolyLens.hs
@@ -48,7 +48,7 @@ import Data.Map(Map)
 import qualified Data.Map as Map(insert, delete, lookup)
 import Data.Set(Set)
 import qualified Data.Set as Set(insert, delete, member)
-import Lets.Data
+import Lets.Data(AlongsideLeft(AlongsideLeft, getAlongsideLeft), AlongsideRight(AlongsideRight, getAlongsideRight), Identity(Identity, getIdentity), Const(Const, getConst), IntAnd(IntAnd), Person(Person), Locality(Locality), Address(Address))
 import Prelude hiding (product)
 
 -- $setup
diff --git a/src/Lets/StoreLens.hs b/src/Lets/StoreLens.hs
index 91a3822..9579772 100644
--- a/src/Lets/StoreLens.hs
+++ b/src/Lets/StoreLens.hs
@@ -44,7 +44,7 @@ module Lets.StoreLens (
 , modifyCityUppercase
 ) where
 
-import Control.Applicative((<*>))
+import Control.Applicative(Applicative((<*>)))
 import Data.Bool(bool)
 import Data.Char(toUpper)
 import Data.Functor((<$>))
@@ -52,7 +52,7 @@ import Data.Map(Map)
 import qualified Data.Map as Map(insert, delete, lookup)
 import Data.Set(Set)
 import qualified Data.Set as Set(insert, delete, member)
-import Lets.Data
+import Lets.Data(Store(Store), Person(Person), Locality(Locality), Address(Address))
 import Prelude hiding (product)
 
 -- $setup