diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,30 @@
+Copyright (c) 2017-2019, Well-Typed LLP
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright
+      notice, this list of conditions and the following disclaimer.
+
+    * Redistributions in binary form must reproduce the above
+      copyright notice, this list of conditions and the following
+      disclaimer in the documentation and/or other materials provided
+      with the distribution.
+
+    * Neither the name of Well-Typed LLP nor the names of other
+      contributors may be used to endorse or promote products derived
+      from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,4 @@
+import Distribution.Simple
+
+main :: IO ()
+main = defaultMain
diff --git a/optics-vl.cabal b/optics-vl.cabal
new file mode 100644
--- /dev/null
+++ b/optics-vl.cabal
@@ -0,0 +1,33 @@
+name:          optics-vl
+version:       0.1
+license:       BSD3
+license-file:  LICENSE
+build-type:    Simple
+maintainer:    optics@well-typed.com
+author:        Andrzej Rybczak
+cabal-version: >=1.10
+tested-with:   ghc ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.1
+synopsis:      Utilities for compatibility with van Laarhoven optics
+category:      Data, Optics, Lenses
+description:
+  This package is part of the @optics@ package family.  It provides utilities
+  for converting between the 'Optic' type defined by @optics@ and the van
+  Laarhoven representations of optics (in particular isomorphisms and prisms).
+
+bug-reports:   https://github.com/well-typed/optics/issues
+source-repository head
+  type:     git
+  location: https://github.com/well-typed/optics.git
+  subdir:   optics-vl
+
+library
+  default-language: Haskell2010
+  hs-source-dirs:   src
+
+  build-depends: base                   >= 4.9        && <5
+               , optics-core            >= 0.1        && <1
+               , profunctors            >= 5.0        && <6.0
+
+  ghc-options: -Wall
+
+  exposed-modules: Optics.VL
diff --git a/src/Optics/VL.hs b/src/Optics/VL.hs
new file mode 100644
--- /dev/null
+++ b/src/Optics/VL.hs
@@ -0,0 +1,102 @@
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeApplications #-}
+-- |
+-- Module: Optics.VL
+--
+-- This module provides compatibility layer for converting from van Laarhoven
+-- encoding of 'Iso's, 'Prism's, 'Lens'es, 'IxLens'es, 'AffineTraversal's,
+-- 'IxAffineTraversal's, 'Traversal's and 'IxTraversal's to their optics
+-- equivalents.
+module Optics.VL
+  (
+  -- * Iso
+    IsoVL
+  , IsoVL'
+  , isoVL
+  -- * Prism
+  , PrismVL
+  , PrismVL'
+  , prismVL
+  -- * Lens
+  , LensVL
+  , LensVL'
+  , lensVL
+  -- * IxLens
+  , IxLensVL
+  , IxLensVL'
+  , ilensVL
+  -- * AffineTraversal
+  , AffineTraversalVL
+  , AffineTraversalVL'
+  , atraversalVL
+  -- * IxAffineTraversal
+  , IxAffineTraversalVL
+  , IxAffineTraversalVL'
+  , iatraversalVL
+  -- * Traversal
+  , TraversalVL
+  , TraversalVL'
+  , traversalVL
+  -- * IxTraversal
+  , IxTraversalVL
+  , IxTraversalVL'
+  , itraversalVL
+  ) where
+
+import Data.Functor.Identity
+import qualified Data.Profunctor as P
+
+import Optics.Internal.Optic
+import Optics.Internal.Profunctor
+import Optics.Internal.Utils
+import Optics.Core
+
+newtype WrappedProfunctor p i a b =
+  WrapProfunctor { unwrapProfunctor :: p i a b }
+
+instance Profunctor p => P.Profunctor (WrappedProfunctor p i) where
+  dimap f g (WrapProfunctor pab) = WrapProfunctor (dimap f g pab)
+  lmap  f   (WrapProfunctor pab) = WrapProfunctor (lmap  f   pab)
+  rmap    g (WrapProfunctor pab) = WrapProfunctor (rmap    g pab)
+  {-# INLINE dimap #-}
+  {-# INLINE lmap #-}
+  {-# INLINE rmap #-}
+
+instance Choice p => P.Choice (WrappedProfunctor p i) where
+  left'  (WrapProfunctor pab) = WrapProfunctor (left'  pab)
+  right' (WrapProfunctor pab) = WrapProfunctor (right' pab)
+  {-# INLINE left' #-}
+  {-# INLINE right' #-}
+
+----------------------------------------
+
+-- | Type synonym for a type-modifying van Laarhoven iso.
+type IsoVL s t a b =
+  forall p f. (P.Profunctor p, Functor f) => p a (f b) -> p s (f t)
+
+-- | Type synonym for a type-preserving van Laarhoven iso.
+type IsoVL' s a = IsoVL s s a a
+
+-- | Build an 'Iso' from the van Laarhoven representation.
+isoVL :: forall s t a b. IsoVL s t a b -> Iso s t a b
+isoVL f = Optic $ rcoerce @(Identity t) @t
+                . (unwrapProfunctor #. f .# WrapProfunctor)
+                . rcoerce @b @(Identity b)
+{-# INLINE isoVL #-}
+
+----------------------------------------
+
+-- | Type synonym for a type-modifying van Laarhoven prism.
+type PrismVL s t a b =
+  forall p f. (P.Choice p, Applicative f) => p a (f b) -> p s (f t)
+
+-- | Type synonym for a type-preserving van Laarhoven prism.
+type PrismVL' s a = PrismVL s s a a
+
+-- | Build a 'Prism' from the van Laarhoven representation.
+prismVL :: forall s t a b. PrismVL s t a b -> Prism s t a b
+prismVL f = Optic $ rcoerce @(Identity t) @t
+                  . (unwrapProfunctor #. f .# WrapProfunctor)
+                  . rcoerce @b @(Identity b)
+{-# INLINE prismVL #-}