79 type instance Index (e -> a) = e  function
80 type instance Index IntSet = Int  type
81 type instance Index (Set a) = a  type
82 type instance Index (HashSet a) = a  type
83 type instance Index [a] = Int  function
84 type instance Index (NonEmpty a) = Int  type
85 type instance Index (Seq a) = Int  type
86 type instance Index (a,b) = Int  type
87 type instance Index (a,b,c) = Int  function
88 type instance Index (a,b,c,d) = Int  type
89 type instance Index (a,b,c,d,e) = Int  function
90 type instance Index (a,b,c,d,e,f) = Int  type
91 type instance Index (a,b,c,d,e,f,g) = Int  function
92 type instance Index (a,b,c,d,e,f,g,h) = Int  function
93 type instance Index (a,b,c,d,e,f,g,h,i) = Int  type
94 type instance Index (IntMap a) = Int  type
95 type instance Index (Map k a) = k  type
96 type instance Index (HashMap k a) = k  function
97 type instance Index (Array.Array i e) = i  type
98 type instance Index (UArray i e) = i  function
99 type instance Index (Vector.Vector a) = Int  type
100 type instance Index (Prim.Vector a) = Int  type
101 type instance Index (Storable.Vector a) = Int  function
102 type instance Index (Unboxed.Vector a) = Int  type
103 type instance Index (Complex a) = Int  function
104 type instance Index (Identity a) = ()  type
105 type instance Index (Maybe a) = ()  function
106 type instance Index (Tree a) = [Int]  function
107 type instance Index StrictT.Text = Int  function
108 type instance Index LazyT.Text = Int64  type
109 type instance Index StrictB.ByteString = Int  function
110 type instance Index LazyB.ByteString = Int64  function
220 type instance IxValue (e -> a) = a  type
225 type instance IxValue (Maybe a) = a  function
231 type instance IxValue [a] = a  type
240 type instance IxValue (NonEmpty a) = a  function
248 type instance IxValue (Identity a) = a  type
253 type instance IxValue (Tree a) = a  type
262 type instance IxValue (Seq a) = a  type
269 type instance IxValue (IntMap a) = a  type
276 type instance IxValue (Map k a) = a  function
283 type instance IxValue (HashMap k a) = a  type
290 type instance IxValue (Set k) = ()  type
297 type instance IxValue IntSet = ()  type
304 type instance IxValue (HashSet k) = ()  function
311 type instance IxValue (Array.Array i e) = e  type
323 type instance IxValue (UArray i e) = e  type
335 type instance IxValue (Vector.Vector a) = a  type
342 type instance IxValue (Prim.Vector a) = a  type
349 type instance IxValue (Storable.Vector a) = a  type
356 type instance IxValue (Unboxed.Vector a) = a  type
363 type instance IxValue StrictT.Text = Char  type
371 type instance IxValue LazyT.Text = Char  type
379 type instance IxValue StrictB.ByteString = Word8  function
387 type instance IxValue LazyB.ByteString = Word8  function
499 type instance IxValue (a,a2) = a  type
504 type instance IxValue (a,a2,a3) = a  type
509 type instance IxValue (a,a2,a3,a4) = a  function
514 type instance IxValue (a,a2,a3,a4,a5) = a  type
519 type instance IxValue (a,a2,a3,a4,a5,a6) = a  type
524 type instance IxValue (a,a2,a3,a4,a5,a6,a7) = a  type
529 type instance IxValue (a,a2,a3,a4,a5,a6,a7,a8) = a  type
534 type instance IxValue (a,a2,a3,a4,a5,a6,a7,a8,a9) = a  function