*** setup configure

Configuring free-theorems-0.3...
Dependency base >=1.0: using base-4.1.0.0
Dependency containers >=0.1.0.1: using containers-0.2.0.1
Dependency haskell-src >=1.0: using haskell-src-1.0.1.3
Dependency haskell-src-exts >=0.3.9: using haskell-src-exts-0.4.8
Dependency mtl >=1.0: using mtl-1.1.0.2
Dependency pretty >=1.0.0.0: using pretty-1.0.1.0
Using Cabal-1.6.0.1 compiled by ghc-6.8
Using compiler: ghc-6.10.2
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/free-theorems-0.3/ghc-6.10.2
Private binaries installed in: /usr/local/tmp/archive/install/libexec
Data files installed in:
/usr/local/tmp/archive/install/share/free-theorems-0.3
Documentation installed in:
/usr/local/tmp/archive/install/share/doc/free-theorems-0.3
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.3 found on system at: /usr/bin/gcc
Using ghc version 6.10.2 found on system at: /usr/local/bin/ghc
Using ghc-pkg version 6.10.2 found on system at: /usr/local/bin/ghc-pkg
No greencard found
Using haddock version 2.4.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.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

Creating dist/build (and its parents)
Creating dist/build/autogen (and its parents)
Preprocessing library free-theorems-0.3...
Building free-theorems-0.3...
Building library...
Creating dist/build (and its parents)
/usr/local/bin/ghc -package-name free-theorems-0.3 --make -hide-all-packages -i -idist/build -isrc -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-4.1.0.0 -package containers-0.2.0.1 -package haskell-src-1.0.1.3 -package haskell-src-exts-0.4.8 -package mtl-1.1.0.2 -package pretty-1.0.1.0 -O -XGenerics -XDeriveDataTypeable -XRank2Types -XPatternSignatures Language.Haskell.FreeTheorems Language.Haskell.FreeTheorems.Syntax Language.Haskell.FreeTheorems.Parser.Haskell98 Language.Haskell.FreeTheorems.Parser.Hsx Language.Haskell.FreeTheorems.Theorems Language.Haskell.FreeTheorems.BasicSyntax Language.Haskell.FreeTheorems.ValidSyntax Language.Haskell.FreeTheorems.NameStores Language.Haskell.FreeTheorems.Frontend Language.Haskell.FreeTheorems.Frontend.Error Language.Haskell.FreeTheorems.Frontend.TypeExpressions Language.Haskell.FreeTheorems.Frontend.CheckLocal Language.Haskell.FreeTheorems.Frontend.CheckGlobal Language.Haskell.FreeTheorems.LanguageSubsets Language.Haskell.FreeTheorems.Intermediate Language.Haskell.FreeTheorems.Unfold Language.Haskell.FreeTheorems.PrettyBase Language.Haskell.FreeTheorems.PrettyTypes Language.Haskell.FreeTheorems.PrettyTheorems Language.Haskell.FreeTheorems.Theorems.Simplify

on the commandline:
    Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables#-} instead

src/Language/Haskell/FreeTheorems/Unfold.hs:1:13:
    Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables#-} instead

src/Language/Haskell/FreeTheorems/Parser/Haskell98.hs:15:7:
    Could not find module `Data.Generics':
      it is a member of the hidden package `base-3.0.3.1'
      it is a member of the hidden package `syb-0.1.0.0'
      it is a member of the hidden package `syb'
      Use -v to see a list of the files searched for.

*** Trying again with preferred-versions

*** setup configure

Configuring free-theorems-0.3...
Dependency base >=1.0 && <4: using base-3.0.3.1
Dependency containers >=0.1.0.1: using containers-0.2.0.1
Dependency haskell-src >=1.0: using haskell-src-1.0.1.3
Dependency haskell-src-exts >=0.3.9: using haskell-src-exts-0.4.8
Dependency mtl >=1.0: using mtl-1.1.0.2
Dependency pretty >=1.0.0.0: using pretty-1.0.1.0
Using Cabal-1.6.0.1 compiled by ghc-6.8
Using compiler: ghc-6.10.2
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/free-theorems-0.3/ghc-6.10.2
Private binaries installed in: /usr/local/tmp/archive/install/libexec
Data files installed in:
/usr/local/tmp/archive/install/share/free-theorems-0.3
Documentation installed in:
/usr/local/tmp/archive/install/share/doc/free-theorems-0.3
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.3 found on system at: /usr/bin/gcc
Using ghc version 6.10.2 found on system at: /usr/local/bin/ghc
Using ghc-pkg version 6.10.2 found on system at: /usr/local/bin/ghc-pkg
No greencard found
Using haddock version 2.4.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.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

Creating dist/build (and its parents)
Creating dist/build/autogen (and its parents)
Preprocessing library free-theorems-0.3...
Building free-theorems-0.3...
Building library...
Creating dist/build (and its parents)
/usr/local/bin/ghc -package-name free-theorems-0.3 --make -hide-all-packages -i -idist/build -isrc -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.3.1 -package containers-0.2.0.1 -package haskell-src-1.0.1.3 -package haskell-src-exts-0.4.8 -package mtl-1.1.0.2 -package pretty-1.0.1.0 -O -XGenerics -XDeriveDataTypeable -XRank2Types -XPatternSignatures Language.Haskell.FreeTheorems Language.Haskell.FreeTheorems.Syntax Language.Haskell.FreeTheorems.Parser.Haskell98 Language.Haskell.FreeTheorems.Parser.Hsx Language.Haskell.FreeTheorems.Theorems Language.Haskell.FreeTheorems.BasicSyntax Language.Haskell.FreeTheorems.ValidSyntax Language.Haskell.FreeTheorems.NameStores Language.Haskell.FreeTheorems.Frontend Language.Haskell.FreeTheorems.Frontend.Error Language.Haskell.FreeTheorems.Frontend.TypeExpressions Language.Haskell.FreeTheorems.Frontend.CheckLocal Language.Haskell.FreeTheorems.Frontend.CheckGlobal Language.Haskell.FreeTheorems.LanguageSubsets Language.Haskell.FreeTheorems.Intermediate Language.Haskell.FreeTheorems.Unfold Language.Haskell.FreeTheorems.PrettyBase Language.Haskell.FreeTheorems.PrettyTypes Language.Haskell.FreeTheorems.PrettyTheorems Language.Haskell.FreeTheorems.Theorems.Simplify

on the commandline:
    Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables#-} instead

src/Language/Haskell/FreeTheorems/Unfold.hs:1:13:
    Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables#-} instead
[ 1 of 20] Compiling Language.Haskell.FreeTheorems.PrettyBase ( src/Language/Haskell/FreeTheorems/PrettyBase.hs, dist/build/Language/Haskell/FreeTheorems/PrettyBase.o )
[ 2 of 20] Compiling Language.Haskell.FreeTheorems.LanguageSubsets ( src/Language/Haskell/FreeTheorems/LanguageSubsets.hs, dist/build/Language/Haskell/FreeTheorems/LanguageSubsets.o )
[ 3 of 20] Compiling Language.Haskell.FreeTheorems.NameStores ( src/Language/Haskell/FreeTheorems/NameStores.hs, dist/build/Language/Haskell/FreeTheorems/NameStores.o )
[ 4 of 20] Compiling Language.Haskell.FreeTheorems.BasicSyntax ( src/Language/Haskell/FreeTheorems/BasicSyntax.hs, dist/build/Language/Haskell/FreeTheorems/BasicSyntax.o )
[ 5 of 20] Compiling Language.Haskell.FreeTheorems.ValidSyntax ( src/Language/Haskell/FreeTheorems/ValidSyntax.hs, dist/build/Language/Haskell/FreeTheorems/ValidSyntax.o )
[ 6 of 20] Compiling Language.Haskell.FreeTheorems.PrettyTypes ( src/Language/Haskell/FreeTheorems/PrettyTypes.hs, dist/build/Language/Haskell/FreeTheorems/PrettyTypes.o )
[ 7 of 20] Compiling Language.Haskell.FreeTheorems.Theorems ( src/Language/Haskell/FreeTheorems/Theorems.hs, dist/build/Language/Haskell/FreeTheorems/Theorems.o )
[ 8 of 20] Compiling Language.Haskell.FreeTheorems.Theorems.Simplify ( src/Language/Haskell/FreeTheorems/Theorems/Simplify.hs, dist/build/Language/Haskell/FreeTheorems/Theorems/Simplify.o )
[ 9 of 20] Compiling Language.Haskell.FreeTheorems.Syntax ( src/Language/Haskell/FreeTheorems/Syntax.hs, dist/build/Language/Haskell/FreeTheorems/Syntax.o )
[10 of 20] Compiling Language.Haskell.FreeTheorems.Frontend.Error ( src/Language/Haskell/FreeTheorems/Frontend/Error.hs, dist/build/Language/Haskell/FreeTheorems/Frontend/Error.o )
[11 of 20] Compiling Language.Haskell.FreeTheorems.Parser.Haskell98 ( src/Language/Haskell/FreeTheorems/Parser/Haskell98.hs, dist/build/Language/Haskell/FreeTheorems/Parser/Haskell98.o )
[12 of 20] Compiling Language.Haskell.FreeTheorems.Parser.Hsx ( src/Language/Haskell/FreeTheorems/Parser/Hsx.hs, dist/build/Language/Haskell/FreeTheorems/Parser/Hsx.o )

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:80:46:
    Not in scope: type constructor or class `HsDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:96:22:
    Not in scope: type constructor or class `HsModule'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:96:35:
    Not in scope: type constructor or class `HsDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:97:20:
    Not in scope: data constructor `HsModule'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:100:6:
    Not in scope: data constructor `HsTypeDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:101:6:
    Not in scope: data constructor `HsDataDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:102:6:
    Not in scope: data constructor `HsClassDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:103:6:
    Not in scope: data constructor `HsTypeSig'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:110:14:
    Not in scope: type constructor or class `HsDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:110:26:
    Not in scope: type constructor or class `HsDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:116:28:
    Not in scope: type constructor or class `HsDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:116:40:
    Not in scope: type constructor or class `HsDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:118:8:
    Not in scope: data constructor `HsTypeSig'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:118:46:
    Not in scope: data constructor `HsTypeSig'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:130:17:
    Not in scope: type constructor or class `HsClassDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:130:40:
    Not in scope: type constructor or class `HsDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:132:2:
    Not in scope: data constructor `HsClsDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:133:2:
    Not in scope: data constructor `HsClsDataFam'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:134:2:
    Not in scope: data constructor `HsClsTyFam'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:135:2:
    Not in scope: data constructor `HsClsTyDef'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:142:17:
    Not in scope: type constructor or class `HsDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:144:2:
    Not in scope: data constructor `HsTypeDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:145:2:
    Not in scope: data constructor `HsDataDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:146:2:
    Not in scope: data constructor `HsDataDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:147:2:
    Not in scope: data constructor `HsClassDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:148:2:
    Not in scope: data constructor `HsTypeSig'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:150:2:
    Not in scope: data constructor `HsClassDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:151:2:
    Not in scope: data constructor `HsClassDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:164:20:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:177:10:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:177:21:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:177:32:
    Not in scope: type constructor or class `HsType'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:188:10:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:188:21:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:188:33:
    Not in scope: type constructor or class `HsQualConDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:200:4:
    Not in scope: type constructor or class `HsQualConDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:202:30:
    Not in scope: data constructor `HsQualConDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:202:51:
    Not in scope: data constructor `HsConDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:205:30:
    Not in scope: data constructor `HsQualConDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:205:51:
    Not in scope: data constructor `HsRecDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:214:4:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:215:8:
    Not in scope: type constructor or class `HsBangType'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:223:16:
    Not in scope: data constructor `HsBangedTy'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:224:16:
    Not in scope: data constructor `HsUnBangedTy'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:230:13:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:230:24:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:230:35:
    Not in scope: type constructor or class `HsQualConDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:231:21:
    Not in scope: data constructor `HsQualConDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:237:22:
    Not in scope: data constructor `HsConDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:238:22:
    Not in scope: data constructor `HsRecDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:247:10:
    Not in scope: data constructor `HsUnBangedTy'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:248:10:
    Not in scope: data constructor `HsBangedTy'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:256:11:
    Not in scope: type constructor or class `HsContext'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:256:24:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:256:34:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:256:45:
    Not in scope: type constructor or class `HsClassDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:269:13:
    Not in scope: type constructor or class `HsDecl'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:271:6:
    Not in scope: data constructor `HsTypeSig'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:302:15:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:302:25:
    Not in scope: type constructor or class `HsType'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:314:13:
    Not in scope: type constructor or class `HsContext'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:317:11:
    Not in scope: data constructor `HsClassA'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:317:27:
    Not in scope: data constructor `HsTyVar'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:322:11:
    Not in scope: data constructor `HsClassA'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:323:11:
    Not in scope: data constructor `HsIParam'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:342:20:
    Not in scope: type constructor or class `HsType'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:350:21:
    Not in scope: type constructor or class `HsType'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:351:19:
    Not in scope: data constructor `HsTyVar'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:353:19:
    Not in scope: data constructor `HsTyApp'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:354:19:
    Not in scope: data constructor `HsTyCon'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:356:19:
    Not in scope: data constructor `HsTyInfix'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:357:21:
    Not in scope: data constructor `HsTyApp'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:357:30:
    Not in scope: data constructor `HsTyApp'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:357:39:
    Not in scope: data constructor `HsTyCon'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:359:19:
    Not in scope: data constructor `HsTyFun'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:364:19:
    Not in scope: data constructor `HsTyTuple'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:368:19:
    Not in scope: data constructor `HsTyForall'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:370:16:
    Not in scope: data constructor `HsKindedVar'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:371:16:
    Not in scope: data constructor `HsUnkindedVar'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:373:19:
    Not in scope: data constructor `HsTyPred'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:376:19:
    Not in scope: data constructor `HsTyTuple'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:384:17:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:384:28:
    Not in scope: type constructor or class `HsContext'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:384:41:
    Not in scope: type constructor or class `HsType'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:399:15:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:423:13:
    Not in scope: type constructor or class `HsType'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:423:24:
    Not in scope: type constructor or class `HsType'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:425:2:
    Not in scope: data constructor `HsTyFun'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:427:2:
    Not in scope: data constructor `HsTyTuple'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:428:2:
    Not in scope: data constructor `HsTyVar'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:429:2:
    Not in scope: data constructor `HsTyApp'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:430:2:
    Not in scope: data constructor `HsTyCon'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:440:4:
    Not in scope: type constructor or class `HsQName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:444:30:
    Not in scope: data constructor `HsFunCon'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:445:30:
    Not in scope: data constructor `HsFunCon'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:459:21:
    Not in scope: type constructor or class `HsQName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:465:27:
    Not in scope: data constructor `HsUnitCon'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:466:27:
    Not in scope: data constructor `HsListCon'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:467:28:
    Not in scope: data constructor `HsTupleCon'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:480:9:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:482:2:
    Not in scope: data constructor `HsIdent'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:483:2:
    Not in scope: data constructor `HsIdent'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:484:2:
    Not in scope: data constructor `HsIdent'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:485:2:
    Not in scope: data constructor `HsIdent'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:486:2:
    Not in scope: data constructor `HsIdent'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:493:18:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:504:17:
    Not in scope: type constructor or class `HsQName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:508:23:
    Not in scope: data constructor `HsUnitCon'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:509:23:
    Not in scope: data constructor `HsListCon'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:510:23:
    Not in scope: data constructor `HsFunCon'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:511:23:
    Not in scope: data constructor `HsCons'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:512:24:
    Not in scope: data constructor `HsTupleCon'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:522:16:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:529:22:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:537:18:
    Not in scope: type constructor or class `HsName'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:538:16:
    Not in scope: data constructor `HsIdent'

src/Language/Haskell/FreeTheorems/Parser/Hsx.hs:539:16:
    Not in scope: data constructor `HsSymbol'