diff --git a/quipper.cabal b/quipper.cabal
--- a/quipper.cabal
+++ b/quipper.cabal
@@ -2,8 +2,8 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                quipper
-version:             0.8
-synopsis:            Quipper is an embedded, scalable functional programming language for quantum computing.
+version:             0.8.1
+synopsis:            An embedded, scalable functional programming language for quantum computing.
 -- description:         
 homepage:            http://www.mathstat.dal.ca/~selinger/quipper/
 license:             BSD3
@@ -18,7 +18,7 @@
 
 library
   exposed-modules:     Quipper, Quipper.Generic, Quipper.CircLifting, Quipper.Printing, Quipper.Classical, Quipper.QData, Quipper.Internal, Quipper.Monad, Quipper.Control, Quipper.Circuit, Quipper.QClasses, Quipper.Labels, Quipper.Transformer
-  other-modules:       Libraries.Template, Libraries.RandomSource, Libraries.CommandLine, Libraries.ShowAll, Libraries.Auxiliary, Libraries.Typeable, Libraries.PortableSignals, Libraries.Sampling, Libraries.Tuple, Libraries.Template.LiftQ, Libraries.Template.Auxiliary, Libraries.Template.ErrorMsgQ, Libraries.Template.Lifting
+  other-modules:       Libraries.Template, Libraries.RandomSource, Libraries.CommandLine, Libraries.Auxiliary, Libraries.Typeable, Libraries.PortableSignals, Libraries.Sampling, Libraries.Tuple, Libraries.Template.LiftQ, Libraries.Template.Auxiliary, Libraries.Template.ErrorMsgQ, Libraries.Template.Lifting
   other-extensions:    GADTs, RankNTypes, FlexibleInstances, OverlappingInstances, MultiParamTypeClasses, FunctionalDependencies, UndecidableInstances, CPP, StandaloneDeriving, DeriveDataTypeable, ScopedTypeVariables, TypeSynonymInstances, TemplateHaskell, BangPatterns, FlexibleContexts, TypeFamilies, Rank2Types, ExistentialQuantification
   build-depends:       base >=4.6 && <4.10, random >=1.0 && <1.1, containers >=0.5 && <0.6, unix >=2.6 && <2.8, template-haskell >=2.8 && <2.12, mtl >=2.1 && <2.3, easyrender >=0.1 && <0.2, process >=1.1 && <1.5, directory >=1.2 && <1.3, primes >=0.2 && <0.3
   hs-source-dirs:      src
diff --git a/src/Libraries/ShowAll.hs b/src/Libraries/ShowAll.hs
deleted file mode 100644
--- a/src/Libraries/ShowAll.hs
+++ /dev/null
@@ -1,32 +0,0 @@
--- This file is part of Quipper. Copyright (C) 2011-2016. Please see the
--- file COPYRIGHT for a list of authors, copyright holders, licensing,
--- and other details. All rights reserved.
--- 
--- ======================================================================
-
-{-# LANGUAGE FlexibleInstances #-}
-
-
--- | This module extends the 'show' function to be able to convert any
--- term to a string, even if its type is not an instance of the 'Show'
--- type class. This is useful, e.g., for generating debugging output,
--- where one does not necessarily want to provide 'Show' instances for
--- every auxiliary data structure that needs debugging.
--- 
--- Functions are shown as \"fun\", and everything else is shown as
--- \"term\".
-
-module Libraries.ShowAll where
-
--- * Documentation
-
--- $ We provide a catch-all 'Show' instance using the GHC language
--- option \"OverlappingInstances\". Since instance declarations don't
--- generate any exported symbols, the documentation is empty. Please
--- see the source code.
-
-instance Show (a -> b) where
-  show x = "fun"
-
-instance Show s where
-  show x = "term"