Simplify code

Shimuuar · May 14, 2016 · 4b1a3d2 · 4b1a3d2
1 parent a2ab7ef
commit 4b1a3d2
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/fixed-vector/Data/Vector/Fixed/Cont.hs b/fixed-vector/Data/Vector/Fixed/Cont.hs
@@ -408,9 +408,8 @@ uncurryMany :: forall n k a b. Arity n
 {-# INLINE uncurryMany #-}
 uncurryMany f =
   case witSum :: WitSum n k a b of
-    WitSum ->
-      case fmap unFun f :: Fun n a (Fn k a b) of
-        g -> coerce g
+    WitSum -> coerce (fmap unFun f :: Fun n a (Fn k a b))
+
 
 
 -- | Apply last parameter to function. Unlike 'apFun' we need to