data Variable = Variable {
length :: !Word32,
var :: !ByteString,
tree :: !Word8
} deriving (Generic, Binary, Show)
but I need the var to be a static length of course. What's the recommended way to do this? Arrays? DataKinds types? Smart constructors on custom types?
I was starting with:
but I need the
var
to be a static length of course. What's the recommended way to do this? Arrays? DataKinds types? Smart constructors on custom types?Ta