core-tetra: work on Curry transform
tetra: give readPtr# and writePtr# another type arg for the type of the offset value