allocaBytes :: InUnion fs IO => Int -> (Ptr a -> Eff fs b) -> Eff fs b
allocaBytes i f = inj (A.allocaBytes i (return . f)) `Then` id
allocaBytes :: InUnion fs IO => Int -> (Ptr a -> Eff fs b) -> Eff fs b
allocaBytes i f = inj (A.allocaBytes i (return . f)) `Then` id
allocaBytes i f = inj (A.allocaBytes i (return . f)) `Then` id