Simple Haskell key value file store
Why not:

type KeySize   = Integer
type ValueSize = Integer
type Header    = (KeySize, ValueSize)


Instead of commenting, like you did here:

type Header    = (Integer, Integer)
               -- keysize  valuesize


Same about ValueInfo.