if we’re provided a valid implementation of encodeWithSize we can come up with a valid implementation of decode
should end with encode
{- MINIMAL encode | encodeWithSize #-}
should start with {-#
1 Like
Thanks!