@@ -34,16 +34,15 @@ data CC s = CC !s {-# UNPACK #-} !Char {-# UNPACK #-} !Char
35-- | Specialised, strict Maybe-like type.
35-- | Specialised, strict Maybe-like type.
36data M a = N
36data M a = N
37− | J {-# UNPACK #-} !a
37+ | J !a
39type M8 = M Word8
39type M8 = M Word8
41-- Restreaming state.
41-- Restreaming state.
42−data S s = S {-# UNPACK #-} !s
43− {-# UNPACK #-} !M8 {-# UNPACK #-} !M8 {-# UNPACK #-} !M8
42+data S s = S !s {-# UNPACK #-} !M8 {-# UNPACK #-} !M8 {-# UNPACK #-} !M8
45infixl 2 :*:
44infixl 2 :*:
46−data PairS a b = {-# UNPACK #-} !a :*: {-# UNPACK #-} !b
45+data PairS a b = !a :*: !b
47 deriving (Eq, Ord, Show)
46 deriving (Eq, Ord, Show)
49-- | Allow a function over a stream to switch between two states.
48-- | Allow a function over a stream to switch between two states.