1 files changed, 11 insertions, 2 deletions

diff --git a/packages/base/src/Internal/Devel.hs b/packages/base/src/Internal/Devel.hs
index 89b5103..710d626 100644
--- a/packages/base/src/Internal/Devel.hs
+++ b/packages/base/src/Internal/Devel.hs
@@ -64,25 +64,34 @@ mbCatch act = E.catch (Just `fmap` act) f
 
 --------------------------------------------------------------------------------
 
+type CM b r = CInt -> CInt -> Ptr b -> r
 type CV b r = CInt -> Ptr b -> r
 type OM b r = CInt -> CInt -> CInt -> CInt -> Ptr b -> r
 
 type CIdxs r = CV CInt r
 type Ok = IO CInt
 
-infixr 5 :>, ::>
+infixr 5 :>, ::>, ..>
 type (:>)  t r = CV t r
 type (::>) t r = OM t r
+type (..>) t r = CM t r
 
 class TransArray c
   where
     type Trans c b
+    type TransRaw c b
+    type Elem c
     apply      :: (Trans c b) -> c -> b
-    infixl 1 `apply`
+    applyRaw   :: (TransRaw c b) -> c -> b
+    infixl 1 `apply`, `applyRaw`
 
 instance Storable t => TransArray (Vector t)
   where
     type Trans (Vector t) b    = CInt -> Ptr t -> b
+    type TransRaw (Vector t) b = CInt -> Ptr t -> b
+    type Elem (Vector t)       = t
     apply = avec
     {-# INLINE apply #-}
+    applyRaw = avec
+    {-# INLINE applyRaw #-}