specs/bytestring: fix bizarre bogon with uncons
specs/bytestring: fix bizarre bogon with uncons

Without this fix, the usage of uncons causes an error like

 The Liquid type

     Data.ByteString.Internal.ByteString
     -> GHC.Base.Maybe
          (GHC.Word.Word8, Data.ByteString.Internal.ByteString) unsnoc

 is inconsistent with the Haskell type

     Data.ByteString.Internal.ByteString
     -> GHC.Base.Maybe
          (GHC.Word.Word8, Data.ByteString.Internal.ByteString)

which would seem to indicate some strange parse error of some sort,
but I wasn't able to figure it out.

I found no way to fix this other than to move uncons to the bottom of
the file.

Signed-off-by: Austin Seipp <48c905ac3851f382b914247d97dd93273d5ff555@pobox.com>

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell