All of these getters and setters could be reified and would probably be faster if they were. But the first thing thing to do would be to write a benchmark so that we could observe the difference. https://github.com/purescript-contrib/purescript-arraybuffer/blob/6cc31540ad2bd3ba717f084717e5210938308498/src/Data/ArrayBuffer/DataView.purs#L216-L217
Activity