diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -7,6 +7,10 @@
 (PVP)](https://pvp.haskell.org)
 
 
+## [0.5]
+
+* Fix [#25][acc-llvm#25]: "impossible evaluation" error with accelerate-llvm-native
+
 ## [0.4.1]
 
 * Support `doctest-0.12`.
@@ -30,12 +34,13 @@
 
 * Repository initialized
 
-
-[0.4.1]:  https://github.com/ekmett/linear-accelerate/compare/v0.4...v0.4.1
-[0.4]:    https://github.com/ekmett/linear-accelerate/compare/v0.3...v0.4
-[0.3]:    https://github.com/ekmett/linear-accelerate/compare/v0.2...v0.3
-[0.2]:    https://github.com/ekmett/linear-accelerate/compare/v0.1...v0.2
-[0.1]:    https://github.com/ekmett/linear-accelerate/compare/3db20f05af0a1488fcbc3ea28f8561ce73289b73...v0.1
+[0.5]:              https://github.com/ekmett/linear-accelerate/compare/v0.4.1...v0.5
+[0.4.1]:            https://github.com/ekmett/linear-accelerate/compare/v0.4...v0.4.1
+[0.4]:              https://github.com/ekmett/linear-accelerate/compare/v0.3...v0.4
+[0.3]:              https://github.com/ekmett/linear-accelerate/compare/v0.2...v0.3
+[0.2]:              https://github.com/ekmett/linear-accelerate/compare/v0.1...v0.2
+[0.1]:              https://github.com/ekmett/linear-accelerate/compare/3db20f05af0a1488fcbc3ea28f8561ce73289b73...v0.1
 
-[#1]:     https://github.com/ekmett/linear-accelerate/issues/1
+[#1]:               https://github.com/ekmett/linear-accelerate/issues/1
+[acc-llvm#25]:      https://github.com/AccelerateHS/accelerate-llvm/issues/25
 
diff --git a/linear-accelerate.cabal b/linear-accelerate.cabal
--- a/linear-accelerate.cabal
+++ b/linear-accelerate.cabal
@@ -1,6 +1,6 @@
 name:          linear-accelerate
 category:      Math, Algebra, Compilers/Interpreters, Concurrency, Data, Parallelism
-version:       0.4.1
+version:       0.5
 license:       BSD3
 cabal-version: >= 1.10
 license-file:  LICENSE
@@ -26,7 +26,7 @@
 
 source-repository this
   type: git
-  tag: v0.4.1
+  tag: v0.5
   location: git://github.com/ekmett/linear-accelerate.git
 
 custom-setup
@@ -71,7 +71,9 @@
   default-language: Haskell2010
   build-depends:
     base    == 4.*,
-    doctest >= 0.11.1 && < 0.13,
+    doctest >= 0.11.1 && < 0.14,
     linear-accelerate
   ghc-options: -Wall -threaded
   hs-source-dirs: tests
+
+-- vim: nospell
diff --git a/src/Data/Array/Accelerate/Linear/V1.hs b/src/Data/Array/Accelerate/Linear/V1.hs
--- a/src/Data/Array/Accelerate/Linear/V1.hs
+++ b/src/Data/Array/Accelerate/Linear/V1.hs
@@ -29,9 +29,10 @@
 ) where
 
 import Data.Array.Accelerate                    as A
-import Data.Array.Accelerate.Smart
-import Data.Array.Accelerate.Product
 import Data.Array.Accelerate.Array.Sugar
+import Data.Array.Accelerate.Product
+import Data.Array.Accelerate.Smart
+import Data.Array.Accelerate.Type
 
 import Data.Array.Accelerate.Linear.Lift
 import Data.Array.Accelerate.Linear.Metric
@@ -69,12 +70,12 @@
 instance Additive V1
 instance R1 V1
 
-type instance EltRepr (V1 a) = EltRepr a
+type instance EltRepr (V1 a) = ((), EltRepr a)
 
 instance Elt a => Elt (V1 a) where
-  eltType _ = eltType (undefined :: a)
-  toElt = V1 . toElt
-  fromElt (V1 a) = fromElt a
+  eltType _ = PairTuple UnitTuple (eltType (undefined :: a))
+  toElt ((), x) = V1 (toElt x)
+  fromElt (V1 x) = ((), fromElt x)
 
 instance cst a => IsProduct cst (V1 a) where
   type ProdRepr (V1 a) = ((), a)