úÎÔ²None works like , except that it 2 takes a single value and returns a single value. 3 takes a list of values of a first type, stores it G at a contiguous memory area (that is first blanked with 0s), and then H reads it as if it was a list of a second type, with enough elements to  fill at least the same space.   ghci  :m + Bindings.Sandbox Data.Int 8 storableCastArray (replicate 13 (1::Int8)) :: IO [Int32] * ==> [16843009,16843009,16843009,1] bindings-DSL-1.0.18Bindings.Utilities storableCaststorableCastArray