| How would one implement an CStringLen-style type that | [...] Take a look at: http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/Lab2/Chunk.hs Is that what you want? /Koen