*** setup configure

Creating dist/setup (and its parents)
/usr/local/bin/ghc --make Setup.hs -o dist/setup/setup -odir dist/setup -hidir dist/setup
[1 of 1] Compiling Main             ( Setup.hs, dist/setup/Main.o )
Linking dist/setup/setup ...
dist/setup/setup configure --ghc --user --prefix=/usr/local/tmp/archive/install --haddock-option=--use-contents=http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sessions-2007.6.20 --verbose
Configuring sessions-2007.6.20...
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-3.0.2.0
Dependency mtl -any: using mtl-1.1.0.2
Using Cabal-1.6.0.1 compiled by ghc-6.8
Using compiler: ghc-6.8.3
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.20/ghc-6.8.3
Private binaries installed in: /usr/local/tmp/archive/install/libexec
Data files installed in:
/usr/local/tmp/archive/install/share/sessions-2007.6.20
Documentation installed in:
/usr/local/tmp/archive/install/share/doc/sessions-2007.6.20
Using alex version 2.2 found on system at: /usr/bin/alex
Using ar found on system at: /usr/bin/ar
Using c2hs version 0.15.1 found on system at: /usr/local/bin/c2hs
Using cpphs version 0.7 found on system at: /usr/bin/cpphs
Using ffihugs found on system at: /usr/local/bin/ffihugs
Using gcc version 4.3.2 found on system at: /usr/bin/gcc
Using ghc version 6.8.3 found on system at: /usr/local/bin/ghc
Using ghc-pkg version 6.8.3 found on system at: /usr/local/bin/ghc-pkg
No greencard found
Using haddock version 2.3.0 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.66 found on system at: /usr/local/bin/hsc2hs
Using hscolour version 1.9 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 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 build

dist/setup/setup build --verbose
Creating dist/build (and its parents)
Creating dist/build/autogen (and its parents)
Preprocessing library sessions-2007.6.20...
Building sessions-2007.6.20...
Building library...
Creating dist/build (and its parents)
/usr/local/bin/ghc -package-name sessions-2007.6.20 --make -hide-all-packages -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -odir dist/build -hidir dist/build -stubdir dist/build -package base-3.0.2.0 -package mtl-1.1.0.2 -O -O2 Control.Concurrent.Session Control.Concurrent.Session.BaseClasses Control.Concurrent.Session.BaseTypes Control.Concurrent.Session.Choice Control.Concurrent.Session.ExtraClasses Control.Concurrent.Session.List Control.Concurrent.Session.Loop Control.Concurrent.Session.Runtime Control.Concurrent.Session.State
[1 of 9] Compiling Control.Concurrent.Session.List ( Control/Concurrent/Session/List.hs, dist/build/Control/Concurrent/Session/List.o )
[2 of 9] Compiling Control.Concurrent.Session.ExtraClasses ( Control/Concurrent/Session/ExtraClasses.hs, dist/build/Control/Concurrent/Session/ExtraClasses.o )
[3 of 9] Compiling Control.Concurrent.Session.BaseTypes ( Control/Concurrent/Session/BaseTypes.hs, dist/build/Control/Concurrent/Session/BaseTypes.o )
[4 of 9] Compiling Control.Concurrent.Session.BaseClasses ( Control/Concurrent/Session/BaseClasses.hs, dist/build/Control/Concurrent/Session/BaseClasses.o )
[5 of 9] Compiling Control.Concurrent.Session.State ( Control/Concurrent/Session/State.hs, dist/build/Control/Concurrent/Session/State.o )
[6 of 9] Compiling Control.Concurrent.Session.Loop ( Control/Concurrent/Session/Loop.hs, dist/build/Control/Concurrent/Session/Loop.o )
[7 of 9] Compiling Control.Concurrent.Session.Runtime ( Control/Concurrent/Session/Runtime.hs, dist/build/Control/Concurrent/Session/Runtime.o )
[8 of 9] Compiling Control.Concurrent.Session.Choice ( Control/Concurrent/Session/Choice.hs, dist/build/Control/Concurrent/Session/Choice.o )

Control/Concurrent/Session/Choice.hs:258:38:
    Could not deduce (ListIndexed typeIndexes1 len1 num selection,
                      ListIndexed specsForSelect len1 num (SessionSpec s),
                      SessionSpecVals specsForSelect,
                      ListIndexed
                        procs1
                        len1
                        num
                        (Proc () (SessionSpec sD) (SessionSpec sD') i i'1 o o'1))
      from the context (ValidOffer generalType2 procs2 specsForOffer2,
                        ListLength procs2 len1,
                        ListLength specsForOffer2 len1,
                        ListLength specsForSelect1 len1,
                        ChoiceSpecsProcs specsForOffer2 procs2,
                        Choice generalType2 typeIndexes1 len1,
                        JustSendsRecvs
                          (SessionSpec (OfferT (List generalType2 specsForOffer2)))
                          (SessionSpec
                             (SessChoiceT
                                (List
                                   (generalType2, specsForOffer2, procs2, SessionSpec s'2, o'2, i'2)
                                   specsO2)))
                          (SessionSpec
                             (SessChoiceT
                                (List
                                   (generalType2,
                                    specsForSelect1,
                                    procs2,
                                    SessionSpec s'2,
                                    o'2,
                                    i'2)
                                   specsI1))))
      arising from a use of `findOfferProc'
                   at Control/Concurrent/Session/Choice.hs:(258,38)-(263,55)
    Possible fix:
      add (ListIndexed typeIndexes1 len1 num selection,
           ListIndexed specsForSelect len1 num (SessionSpec s),
           SessionSpecVals specsForSelect,
           ListIndexed
             procs1
             len1
             num
             (Proc
                ()
                (SessionSpec sD)
                (SessionSpec sD')
                i
                i'1
                o
                o'1)) to the context of
        the constructor `OffersCell'
      or add an instance declaration for
         (ListIndexed specsForSelect len1 num (SessionSpec s),
          ListIndexed
            procs1
            len1
            num
            (Proc () (SessionSpec sD) (SessionSpec sD') i i'1 o o'1))
    In the expression:
        findOfferProc
          (undefined :: generalType)
          (undefined :: specsForSelect)
          (undefined :: specsForOffer)
          procs
          selection
          proc
    In a pattern binding:
        (offerProc :: Proc () (SessionSpec sD) (SessionSpec sD') i i' o o')
            = findOfferProc
                (undefined :: generalType)
                (undefined :: specsForSelect)
                (undefined :: specsForOffer)
                procs
                selection
                proc
    In the expression:
        do let (offerProc :: Proc () (SessionSpec sD) (SessionSpec sD') i i' o o')
                   = findOfferProc
                       (undefined :: generalType)
                       (undefined :: specsForSelect)
                       (undefined :: specsForOffer)
                       procs
                       selection
                       proc
           ((stateSelect, stateOffer) :: (SessionState (SessionSpec s) o i,
                                          SessionState (SessionSpec sD) i o)) <- mkState
                                                                                   (undefined ::
                                                                                      SessionSpec s)
           let wrapped = wrapProc offerProc stateOffer
           putMVar procMVar wrapped
           ....