*** setup configure

setup/setup configure --ghc --user --prefix=/usr/local/tmp/archive/install --haddock-option=--use-contents=/package/sessions-2007.6.14 --verbose
Configuring sessions-2007.6.14...
Warning: No 'build-type' specified. If you do not need a custom Setup.hs or
./configure script then use 'build-type: Simple'.
Dependency base -any: using base-4.2.0.0
Dependency mtl -any: using mtl-1.1.0.2
Using Cabal-1.8.0.2 compiled by ghc-6.12
Using compiler: ghc-6.12.1
Using install prefix: /usr/local/tmp/archive/install
Binaries installed in: /usr/local/tmp/archive/install/bin
Libraries installed in:
/usr/local/tmp/archive/install/lib/sessions-2007.6.14/ghc-6.12.1
Private binaries installed in: /usr/local/tmp/archive/install/libexec
Data files installed in:
/usr/local/tmp/archive/install/share/sessions-2007.6.14
Documentation installed in:
/usr/local/tmp/archive/install/share/doc/sessions-2007.6.14
Using alex version 2.3.1 found on system at: /usr/bin/alex
Using ar found on system at: /usr/bin/ar
Using c2hs version 0.16.0 found on system at: /usr/local/bin/c2hs
Using cpphs version 1.11 found on system at: /usr/local/bin/cpphs
Using ffihugs found on system at: /usr/local/bin/ffihugs
Using gcc version 4.4.3 found on system at: /usr/bin/gcc
Using ghc version 6.12.1 found on system at: /usr/local/bin/ghc
Using ghc-pkg version 6.12.1 found on system at: /usr/local/bin/ghc-pkg
Using greencard found on system at:
/usr/local/tmp/archive/install/bin/greencard
Using haddock version 2.7.2 found on system at: /usr/local/bin/haddock
Using happy version 1.17 found on system at: /usr/local/bin/happy
No hmake found
Using hsc2hs version 0.67 found on system at: /usr/local/bin/hsc2hs
Using hscolour version 1.16 found on system at: /usr/local/bin/HsColour
Using hugs found on system at: /usr/local/bin/hugs
No jhc found
Using ld found on system at: /usr/bin/ld
No lhc found
No lhc-pkg found
No nhc98 found
Using pkg-config version 0.22 found on system at: /usr/bin/pkg-config
Using ranlib found on system at: /usr/bin/ranlib
Using strip found on system at: /usr/bin/strip
Using tar found on system at: /bin/tar

*** setup haddock

setup/setup haddock --verbose --html-location=/packages/archive/$pkg/$version/doc/html --hyperlink-source
Running Haddock for sessions-2007.6.14...
/usr/local/bin/haddock --use-contents=/package/sessions-2007.6.14 --ghc-version
Creating dist/build (and its parents)
Creating dist/build/autogen (and its parents)
Preprocessing library sessions-2007.6.14...
Running hscolour for sessions-2007.6.14...
Creating dist/doc/html/sessions (and its parents)
Creating dist/doc/html/sessions/src (and its parents)
/usr/local/bin/HsColour -print-css -odist/doc/html/sessions/src/hscolour.css
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session.html Control/Concurrent/Session.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-BaseClasses.html Control/Concurrent/Session/BaseClasses.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-BaseTypes.html Control/Concurrent/Session/BaseTypes.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-Choice.html Control/Concurrent/Session/Choice.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-ExtraClasses.html Control/Concurrent/Session/ExtraClasses.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-List.html Control/Concurrent/Session/List.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-Loop.html Control/Concurrent/Session/Loop.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-Runtime.html Control/Concurrent/Session/Runtime.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-State.html Control/Concurrent/Session/State.hs
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: ffi-1.0, rts-1.0
/usr/local/bin/ghc --print-libdir
copy Control/Concurrent/Session.hs to
dist/build/tmp4022/Control/Concurrent/Session.hs
copy Control/Concurrent/Session/BaseClasses.hs to
dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs
copy Control/Concurrent/Session/BaseTypes.hs to
dist/build/tmp4022/Control/Concurrent/Session/BaseTypes.hs
copy Control/Concurrent/Session/Choice.hs to
dist/build/tmp4022/Control/Concurrent/Session/Choice.hs
copy Control/Concurrent/Session/ExtraClasses.hs to
dist/build/tmp4022/Control/Concurrent/Session/ExtraClasses.hs
copy Control/Concurrent/Session/List.hs to
dist/build/tmp4022/Control/Concurrent/Session/List.hs
copy Control/Concurrent/Session/Loop.hs to
dist/build/tmp4022/Control/Concurrent/Session/Loop.hs
copy Control/Concurrent/Session/Runtime.hs to
dist/build/tmp4022/Control/Concurrent/Session/Runtime.hs
copy Control/Concurrent/Session/State.hs to
dist/build/tmp4022/Control/Concurrent/Session/State.hs
Creating dist/doc/html/sessions/ (and its parents)
/usr/local/bin/haddock --use-contents=/package/sessions-2007.6.14 --prologue=dist/doc/html/sessions/haddock-prolog4022.txt --dump-interface=dist/doc/html/sessions/sessions.haddock --optghc=-package-name --optghc=sessions-2007.6.14 --hide=Control.Concurrent.Session.BaseClasses --hide=Control.Concurrent.Session.BaseTypes --hide=Control.Concurrent.Session.Choice --hide=Control.Concurrent.Session.ExtraClasses --hide=Control.Concurrent.Session.List --hide=Control.Concurrent.Session.Loop --hide=Control.Concurrent.Session.Runtime --hide=Control.Concurrent.Session.State --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --verbosity=1 --html --read-interface=/packages/archive/base/4.2.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/base-4.2.0.0/base.haddock --read-interface=/packages/archive/ghc-prim/0.2.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/ghc-prim.haddock --read-interface=/packages/archive/integer-gmp/0.2.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/integer-gmp-0.2.0.0/integer-gmp.haddock --read-interface=/packages/archive/mtl/1.1.0.2/doc/html,/usr/local/tmp/archive/install/share/doc/mtl-1.1.0.2/html/mtl.haddock --odir=dist/doc/html/sessions/ --title=sessions-2007.6.14: Session Types for Haskell --optghc=-hide-all-packages --optghc=-fbuilding-cabal-package --optghc=-i --optghc=-idist/build --optghc=-i. --optghc=-idist/build/autogen --optghc=-Idist/build/autogen --optghc=-Idist/build --optghc=-optP-include --optghc=-optPdist/build/autogen/cabal_macros.h --optghc=-odir --optghc=dist/build --optghc=-hidir --optghc=dist/build --optghc=-stubdir --optghc=dist/build --optghc=-package-id --optghc=base-4.2.0.0-c9182baf5cf44f2e72b2298fa160086c --optghc=-package-id --optghc=mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 --optghc=-O --optghc=-O2 -B/usr/local/lib/ghc-6.12.1 dist/build/tmp4022/Control/Concurrent/Session.hs dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs dist/build/tmp4022/Control/Concurrent/Session/BaseTypes.hs dist/build/tmp4022/Control/Concurrent/Session/Choice.hs dist/build/tmp4022/Control/Concurrent/Session/ExtraClasses.hs dist/build/tmp4022/Control/Concurrent/Session/List.hs dist/build/tmp4022/Control/Concurrent/Session/Loop.hs dist/build/tmp4022/Control/Concurrent/Session/Runtime.hs dist/build/tmp4022/Control/Concurrent/Session/State.hs

dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs:47:38:
    Could not deduce (DualT anyof oneof)
      from the context (OfferT (List t anyof)
                          ~
                        OfferT (List generalType specList),
                        SpecList generalType specList)
      arising from a use of `dual'
                   at dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs:47:38-46
    Possible fix:
      add (DualT anyof oneof) to the context of the constructor `OfferS'
    In the first argument of `SelectS', namely `(dual list)'
    In the expression: SelectS (dual list)
    In the definition of `dual':
        dual (OfferS list) = SelectS (dual list)

dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs:50:38:
    Could not deduce (DualT oneof anyof)
      from the context (SelectT (List t oneof)
                          ~
                        SelectT (List generalType specList),
                        SpecList generalType specList)
      arising from a use of `dual'
                   at dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs:50:38-46
    Possible fix:
      add (DualT oneof anyof) to the context of the constructor `SelectS'
    In the first argument of `OfferS', namely `(dual list)'
    In the expression: OfferS (dual list)
    In the definition of `dual':
        dual (SelectS list) = OfferS (dual list)

dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs:92:66:
    Could not deduce (BuildReductionListPrimitives
                        lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
      from the context (SendT t n ~ SendT t1 n1)
      arising from a use of `findReduction'
                   at dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs:92:66-96
    Possible fix:
      add (BuildReductionListPrimitives
             lstLoop
             (SessionSpec n)
             (Cons val (Succ len) nxt)) to the context of
        the constructor `SendS'
      or add an instance declaration for
         (BuildReductionListPrimitives
            lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
    In the expression: findReduction lastSeenLoop spec
    In the definition of `nxt': nxt = findReduction lastSeenLoop spec
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (SendS t spec) nxt

dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs:92:101:
    Could not deduce (ListLength nxt len)
      from the context (SendT t n ~ SendT t1 n1)
      arising from a use of `cons'
                   at dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs:92:101-123
    Possible fix:
      add (ListLength nxt len) to the context of the constructor `SendS'
    In the expression: cons (SendS t spec) nxt
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (SendS t spec) nxt
    In the definition of `findReductionPrim':
        findReductionPrim lastSeenLoop (SendS t spec)
                            = let nxt = findReduction lastSeenLoop spec
                              in cons (SendS t spec) nxt

dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs:95:66:
    Could not deduce (BuildReductionListPrimitives
                        lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
      from the context (RecvT t n ~ RecvT t1 n1)
      arising from a use of `findReduction'
                   at dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs:95:66-96
    Possible fix:
      add (BuildReductionListPrimitives
             lstLoop
             (SessionSpec n)
             (Cons val (Succ len) nxt)) to the context of
        the constructor `RecvS'
      or add an instance declaration for
         (BuildReductionListPrimitives
            lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
    In the expression: findReduction lastSeenLoop spec
    In the definition of `nxt': nxt = findReduction lastSeenLoop spec
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (RecvS t spec) nxt

dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs:95:101:
    Could not deduce (ListLength nxt len)
      from the context (RecvT t n ~ RecvT t1 n1)
      arising from a use of `cons'
                   at dist/build/tmp4022/Control/Concurrent/Session/BaseClasses.hs:95:101-123
    Possible fix:
      add (ListLength nxt len) to the context of the constructor `RecvS'
    In the expression: cons (RecvS t spec) nxt
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (RecvS t spec) nxt
    In the definition of `findReductionPrim':
        findReductionPrim lastSeenLoop (RecvS t spec)
                            = let nxt = findReduction lastSeenLoop spec
                              in cons (RecvS t spec) nxt

*** Trying again with preferred-versions

*** setup configure

setup/setup configure --ghc --user --prefix=/usr/local/tmp/archive/install --haddock-option=--use-contents=/package/sessions-2007.6.14 --constraint=base<4 --constraint=parsec<3 --constraint=QuickCheck<2 --constraint=cabal-install<0.8 --verbose
Configuring sessions-2007.6.14...
Warning: No 'build-type' specified. If you do not need a custom Setup.hs or
./configure script then use 'build-type: Simple'.
Dependency base <4: using base-3.0.3.2
Dependency mtl -any: using mtl-1.1.0.2
Using Cabal-1.8.0.2 compiled by ghc-6.12
Using compiler: ghc-6.12.1
Using install prefix: /usr/local/tmp/archive/install
Binaries installed in: /usr/local/tmp/archive/install/bin
Libraries installed in:
/usr/local/tmp/archive/install/lib/sessions-2007.6.14/ghc-6.12.1
Private binaries installed in: /usr/local/tmp/archive/install/libexec
Data files installed in:
/usr/local/tmp/archive/install/share/sessions-2007.6.14
Documentation installed in:
/usr/local/tmp/archive/install/share/doc/sessions-2007.6.14
Using alex version 2.3.1 found on system at: /usr/bin/alex
Using ar found on system at: /usr/bin/ar
Using c2hs version 0.16.0 found on system at: /usr/local/bin/c2hs
Using cpphs version 1.11 found on system at: /usr/local/bin/cpphs
Using ffihugs found on system at: /usr/local/bin/ffihugs
Using gcc version 4.4.3 found on system at: /usr/bin/gcc
Using ghc version 6.12.1 found on system at: /usr/local/bin/ghc
Using ghc-pkg version 6.12.1 found on system at: /usr/local/bin/ghc-pkg
Using greencard found on system at:
/usr/local/tmp/archive/install/bin/greencard
Using haddock version 2.7.2 found on system at: /usr/local/bin/haddock
Using happy version 1.17 found on system at: /usr/local/bin/happy
No hmake found
Using hsc2hs version 0.67 found on system at: /usr/local/bin/hsc2hs
Using hscolour version 1.16 found on system at: /usr/local/bin/HsColour
Using hugs found on system at: /usr/local/bin/hugs
No jhc found
Using ld found on system at: /usr/bin/ld
No lhc found
No lhc-pkg found
No nhc98 found
Using pkg-config version 0.22 found on system at: /usr/bin/pkg-config
Using ranlib found on system at: /usr/bin/ranlib
Using strip found on system at: /usr/bin/strip
Using tar found on system at: /bin/tar

*** setup haddock

setup/setup haddock --verbose --html-location=/packages/archive/$pkg/$version/doc/html --hyperlink-source
Running Haddock for sessions-2007.6.14...
/usr/local/bin/haddock --use-contents=/package/sessions-2007.6.14 --ghc-version
Creating dist/build (and its parents)
Creating dist/build/autogen (and its parents)
Preprocessing library sessions-2007.6.14...
Running hscolour for sessions-2007.6.14...
Creating dist/doc/html/sessions (and its parents)
Creating dist/doc/html/sessions/src (and its parents)
/usr/local/bin/HsColour -print-css -odist/doc/html/sessions/src/hscolour.css
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session.html Control/Concurrent/Session.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-BaseClasses.html Control/Concurrent/Session/BaseClasses.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-BaseTypes.html Control/Concurrent/Session/BaseTypes.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-Choice.html Control/Concurrent/Session/Choice.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-ExtraClasses.html Control/Concurrent/Session/ExtraClasses.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-List.html Control/Concurrent/Session/List.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-Loop.html Control/Concurrent/Session/Loop.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-Runtime.html Control/Concurrent/Session/Runtime.hs
/usr/local/bin/HsColour -css -anchor -odist/doc/html/sessions/src/Control-Concurrent-Session-State.html Control/Concurrent/Session/State.hs
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: base-3.0.3.2, ffi-1.0, rts-1.0
/usr/local/bin/ghc --print-libdir
copy Control/Concurrent/Session.hs to
dist/build/tmp4075/Control/Concurrent/Session.hs
copy Control/Concurrent/Session/BaseClasses.hs to
dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs
copy Control/Concurrent/Session/BaseTypes.hs to
dist/build/tmp4075/Control/Concurrent/Session/BaseTypes.hs
copy Control/Concurrent/Session/Choice.hs to
dist/build/tmp4075/Control/Concurrent/Session/Choice.hs
copy Control/Concurrent/Session/ExtraClasses.hs to
dist/build/tmp4075/Control/Concurrent/Session/ExtraClasses.hs
copy Control/Concurrent/Session/List.hs to
dist/build/tmp4075/Control/Concurrent/Session/List.hs
copy Control/Concurrent/Session/Loop.hs to
dist/build/tmp4075/Control/Concurrent/Session/Loop.hs
copy Control/Concurrent/Session/Runtime.hs to
dist/build/tmp4075/Control/Concurrent/Session/Runtime.hs
copy Control/Concurrent/Session/State.hs to
dist/build/tmp4075/Control/Concurrent/Session/State.hs
Creating dist/doc/html/sessions/ (and its parents)
/usr/local/bin/haddock --use-contents=/package/sessions-2007.6.14 --prologue=dist/doc/html/sessions/haddock-prolog4075.txt --dump-interface=dist/doc/html/sessions/sessions.haddock --optghc=-package-name --optghc=sessions-2007.6.14 --hide=Control.Concurrent.Session.BaseClasses --hide=Control.Concurrent.Session.BaseTypes --hide=Control.Concurrent.Session.Choice --hide=Control.Concurrent.Session.ExtraClasses --hide=Control.Concurrent.Session.List --hide=Control.Concurrent.Session.Loop --hide=Control.Concurrent.Session.Runtime --hide=Control.Concurrent.Session.State --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --verbosity=1 --html --read-interface=/packages/archive/base/4.2.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/base-4.2.0.0/base.haddock --read-interface=/packages/archive/ghc-prim/0.2.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/ghc-prim.haddock --read-interface=/packages/archive/integer-gmp/0.2.0.0/doc/html,/usr/local/share/doc/ghc/html/libraries/integer-gmp-0.2.0.0/integer-gmp.haddock --read-interface=/packages/archive/mtl/1.1.0.2/doc/html,/usr/local/tmp/archive/install/share/doc/mtl-1.1.0.2/html/mtl.haddock --read-interface=/packages/archive/syb/0.1.0.2/doc/html,/usr/local/share/doc/ghc/html/libraries/syb-0.1.0.2/syb.haddock --odir=dist/doc/html/sessions/ --title=sessions-2007.6.14: Session Types for Haskell --optghc=-hide-all-packages --optghc=-fbuilding-cabal-package --optghc=-i --optghc=-idist/build --optghc=-i. --optghc=-idist/build/autogen --optghc=-Idist/build/autogen --optghc=-Idist/build --optghc=-optP-include --optghc=-optPdist/build/autogen/cabal_macros.h --optghc=-odir --optghc=dist/build --optghc=-hidir --optghc=dist/build --optghc=-stubdir --optghc=dist/build --optghc=-package-id --optghc=base-3.0.3.2-52acef427378232ec569bca0486ee48f --optghc=-package-id --optghc=mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 --optghc=-O --optghc=-O2 -B/usr/local/lib/ghc-6.12.1 dist/build/tmp4075/Control/Concurrent/Session.hs dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs dist/build/tmp4075/Control/Concurrent/Session/BaseTypes.hs dist/build/tmp4075/Control/Concurrent/Session/Choice.hs dist/build/tmp4075/Control/Concurrent/Session/ExtraClasses.hs dist/build/tmp4075/Control/Concurrent/Session/List.hs dist/build/tmp4075/Control/Concurrent/Session/Loop.hs dist/build/tmp4075/Control/Concurrent/Session/Runtime.hs dist/build/tmp4075/Control/Concurrent/Session/State.hs

dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs:47:38:
    Could not deduce (DualT anyof oneof)
      from the context (OfferT (List t anyof)
                          ~
                        OfferT (List generalType specList),
                        SpecList generalType specList)
      arising from a use of `dual'
                   at dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs:47:38-46
    Possible fix:
      add (DualT anyof oneof) to the context of the constructor `OfferS'
    In the first argument of `SelectS', namely `(dual list)'
    In the expression: SelectS (dual list)
    In the definition of `dual':
        dual (OfferS list) = SelectS (dual list)

dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs:50:38:
    Could not deduce (DualT oneof anyof)
      from the context (SelectT (List t oneof)
                          ~
                        SelectT (List generalType specList),
                        SpecList generalType specList)
      arising from a use of `dual'
                   at dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs:50:38-46
    Possible fix:
      add (DualT oneof anyof) to the context of the constructor `SelectS'
    In the first argument of `OfferS', namely `(dual list)'
    In the expression: OfferS (dual list)
    In the definition of `dual':
        dual (SelectS list) = OfferS (dual list)

dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs:92:66:
    Could not deduce (BuildReductionListPrimitives
                        lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
      from the context (SendT t n ~ SendT t1 n1)
      arising from a use of `findReduction'
                   at dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs:92:66-96
    Possible fix:
      add (BuildReductionListPrimitives
             lstLoop
             (SessionSpec n)
             (Cons val (Succ len) nxt)) to the context of
        the constructor `SendS'
      or add an instance declaration for
         (BuildReductionListPrimitives
            lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
    In the expression: findReduction lastSeenLoop spec
    In the definition of `nxt': nxt = findReduction lastSeenLoop spec
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (SendS t spec) nxt

dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs:92:101:
    Could not deduce (ListLength nxt len)
      from the context (SendT t n ~ SendT t1 n1)
      arising from a use of `cons'
                   at dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs:92:101-123
    Possible fix:
      add (ListLength nxt len) to the context of the constructor `SendS'
    In the expression: cons (SendS t spec) nxt
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (SendS t spec) nxt
    In the definition of `findReductionPrim':
        findReductionPrim lastSeenLoop (SendS t spec)
                            = let nxt = findReduction lastSeenLoop spec
                              in cons (SendS t spec) nxt

dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs:95:66:
    Could not deduce (BuildReductionListPrimitives
                        lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
      from the context (RecvT t n ~ RecvT t1 n1)
      arising from a use of `findReduction'
                   at dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs:95:66-96
    Possible fix:
      add (BuildReductionListPrimitives
             lstLoop
             (SessionSpec n)
             (Cons val (Succ len) nxt)) to the context of
        the constructor `RecvS'
      or add an instance declaration for
         (BuildReductionListPrimitives
            lstLoop (SessionSpec n) (Cons val (Succ len) nxt))
    In the expression: findReduction lastSeenLoop spec
    In the definition of `nxt': nxt = findReduction lastSeenLoop spec
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (RecvS t spec) nxt

dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs:95:101:
    Could not deduce (ListLength nxt len)
      from the context (RecvT t n ~ RecvT t1 n1)
      arising from a use of `cons'
                   at dist/build/tmp4075/Control/Concurrent/Session/BaseClasses.hs:95:101-123
    Possible fix:
      add (ListLength nxt len) to the context of the constructor `RecvS'
    In the expression: cons (RecvS t spec) nxt
    In the expression:
        let nxt = findReduction lastSeenLoop spec
        in cons (RecvS t spec) nxt
    In the definition of `findReductionPrim':
        findReductionPrim lastSeenLoop (RecvS t spec)
                            = let nxt = findReduction lastSeenLoop spec
                              in cons (RecvS t spec) nxt