diff --git a/README.md b/README.md
index 97021e4ca..0462ad0a1 100644
--- a/README.md
+++ b/README.md
@@ -14,8 +14,8 @@ Design points:
 * Polymorphic string IO functions.
 * Polymorphic show.
 * Automatic string conversions.
-* Type for common data structures in scope.
-* Type for all common string types in scope.
+* Types for common data structures in scope.
+* Types for all common string types in scope.
 * StateT/ReaderT/ExceptT transformers in scope by default.
 * Foldable / Traversable functions in scope by default.
 * Unsafe functions are prefixed with "unsafe" in separate module.
diff --git a/Symbols.md b/Symbols.md
new file mode 100644
index 000000000..179fa1f8c
--- /dev/null
+++ b/Symbols.md
@@ -0,0 +1,1147 @@
+* Applicative
+* Bool
+* Monad
+* Show
+* Either
+* Functor
+* Semiring
+* Bifunctor
+* Exception
+* Coercion
+* TypeRep
+* State
+* Foldable
+* Traversable
+* Maybe
+* Monoid
+* String
+* Bounded
+* Enum
+* Floating
+* RealFloat
+* Num
+* Fractional
+* Integral
+* Rational
+* Real
+* RealFrac
+* FilePath
+* Double#
+* Float#
+* RealWorld
+* Any
+* Constraint
+* Char
+* Double
+* Float
+* Int
+* Word
+* Coercible
+* V1
+* U1
+* K1
+* M1
+* :+:
+* :*:
+* Rec0
+* D1
+* C1
+* S1
+* Rep
+* IO
+* Ratio
+* Integer
+* Eq
+* Ord
+* IsString
+* Alternative
+* Typeable
+* ==
+* Read
+* Ptr
+* FunPtr
+* Int8
+* Int16
+* Int32
+* Int64
+* Word8
+* Word16
+* Word32
+* Word64
+* MonadPlus
+* Ordering
+* Generic
+* Constructor
+* Selector
+* FFFormat
+* Const
+* ZipList
+* Identity
+* NFData
+* Map
+* Set
+* Seq
+* IntMap
+* IntSet
+* Proxy
+* :~:
+* Void
+* MonadState
+* StateT
+* Reader
+* MonadReader
+* ReaderT
+* Except
+* MonadError
+* ExceptT
+* MonadIO
+* Bits
+* Complex
+* Fixity
+* ByteString
+* ByteString
+* Text
+* Text
+* Handle
+* IOMode
+* ST
+* STM
+* Async
+* Storable
+* FatalError
+* StringConv
+* Leniency
+* Print
+* All
+* Alt
+* Dual
+* Endo
+* First
+* Last
+* Product
+* Sum
+* Down
+* SomeException
+* IOException
+* FiniteBits
+* NestedAtomically
+* NoMethodError
+* NonTermination
+* PatternMatchFail
+* RecConError
+* RecSelError
+* RecUpdError
+* ArithException
+* ErrorCall
+* MaskingState
+* Handler
+* AllocationLimitExceeded
+* ArrayException
+* AssertionFailed
+* AsyncException
+* BlockedIndefinitelyOnMVar
+* BlockedIndefinitelyOnSTM
+* Deadlock
+* SomeAsyncException
+* ThreadId
+* ExitCode
+* Chan
+* QSem
+* QSemN
+* MVar
+* Concurrently
+* Coercion
+* Left
+* Right
+* Just
+* Nothing
+* Any
+* False
+* True
+* D#
+* F#
+* U1
+* K1
+* M1
+* :%
+* LT
+* EQ
+* GT
+* FFExponent
+* FFFixed
+* FFGeneric
+* Const
+* ZipList
+* Identity
+* Proxy
+* FatalError
+* All
+* Alt
+* Dual
+* Endo
+* First
+* Last
+* Product
+* Sum
+* Prefix
+* Infix
+* Refl
+* Down
+* AppendMode
+* ReadMode
+* ReadWriteMode
+* WriteMode
+* SomeException
+* Lenient
+* Strict
+* NestedAtomically
+* NoMethodError
+* NonTermination
+* PatternMatchFail
+* RecConError
+* RecSelError
+* RecUpdError
+* Denormal
+* DivideByZero
+* ErrorCall
+* LossOfPrecision
+* Overflow
+* RatioZeroDenominator
+* Underflow
+* MaskedInterruptible
+* MaskedUninterruptible
+* Unmasked
+* Handler
+* AllocationLimitExceeded
+* IndexOutOfBounds
+* UndefinedElement
+* AssertionFailed
+* HeapOverflow
+* StackOverflow
+* ThreadKilled
+* UserInterrupt
+* BlockedIndefinitelyOnMVar
+* BlockedIndefinitelyOnSTM
+* Deadlock
+* SomeAsyncException
+* :+
+* ExitFailure
+* ExitSuccess
+* Concurrently
+* deepseq
+* split
+* split
+* async
+* void
+* smallInteger
+* wordToInteger
+* integerToWord
+* integerToInt
+* plusInteger
+* minusInteger
+* timesInteger
+* negateInteger
+* eqInteger#
+* neqInteger#
+* absInteger
+* signumInteger
+* leInteger#
+* gtInteger#
+* ltInteger#
+* geInteger#
+* compareInteger
+* encodeFloatInteger
+* floatFromInteger
+* encodeDoubleInteger
+* decodeDoubleInteger
+* doubleFromInteger
+* rationalToFloat
+* rationalToDouble
+* andInteger
+* orInteger
+* xorInteger
+* complementInteger
+* shiftLInteger
+* shiftRInteger
+* quotInteger
+* remInteger
+* divInteger
+* modInteger
+* divModInteger
+* quotRemInteger
+* group
+* group
+* group
+* either
+* all
+* all
+* all
+* and
+* any
+* any
+* any
+* concat
+* concat
+* concat
+* concatMap
+* concatMap
+* concatMap
+* elem
+* elem
+* foldMap
+* foldl
+* foldl
+* foldl
+* foldl1
+* foldl1
+* foldr
+* foldr
+* foldr
+* foldr1
+* foldr1
+* length
+* length
+* length
+* mapM_
+* maximum
+* maximum
+* maximum
+* minimum
+* minimum
+* minimum
+* notElem
+* notElem
+* null
+* null
+* null
+* or
+* product
+* sequence_
+* sum
+* <$>
+* maybe
+* mapM
+* sequence
+* sequenceA
+* traverse
+* curry
+* fst
+* snd
+* uncurry
+* $!
+* *>
+* ++
+* .
+* <$
+* <*
+* <*>
+* =<<
+* >>=
+* asTypeOf
+* const
+* flip
+* fmap
+* map
+* map
+* mappend
+* mconcat
+* mempty
+* otherwise
+* pure
+* return
+* enumFrom
+* enumFromThen
+* enumFromThenTo
+* enumFromTo
+* fromEnum
+* maxBound
+* minBound
+* pred
+* succ
+* toEnum
+* **
+* acos
+* acosh
+* asin
+* asinh
+* atan
+* atan2
+* atanh
+* cos
+* cosh
+* decodeFloat
+* encodeFloat
+* exp
+* exponent
+* floatDigits
+* floatRadix
+* floatRange
+* isDenormalized
+* isIEEE
+* isInfinite
+* isNaN
+* isNegativeZero
+* log
+* logBase
+* pi
+* scaleFloat
+* significand
+* sin
+* sinh
+* sqrt
+* tan
+* tanh
+* *
+* +
+* -
+* abs
+* fromInteger
+* negate
+* signum
+* subtract
+* /
+* ^
+* ^^
+* ceiling
+* div
+* divMod
+* even
+* floor
+* fromIntegral
+* fromRational
+* gcd
+* lcm
+* mod
+* odd
+* properFraction
+* quot
+* quotRem
+* realToFrac
+* recip
+* rem
+* round
+* toInteger
+* toRational
+* truncate
+* show
+* showList
+* showsPrec
+* appendFile
+* appendFile
+* getContents
+* getContents
+* getLine
+* interact
+* interact
+* print
+* putStr
+* putStr
+* putStr
+* putStr
+* putStrLn
+* putStrLn
+* putStrLn
+* putStrLn
+* readFile
+* readFile
+* writeFile
+* writeFile
+* reads
+* lines
+* unlines
+* unwords
+* words
+* ioError
+* break
+* break
+* break
+* cycle
+* cycle
+* cycle
+* drop
+* drop
+* drop
+* dropWhile
+* dropWhile
+* dropWhile
+* head
+* head
+* head
+* init
+* init
+* iterate
+* iterate
+* iterate
+* last
+* last
+* repeat
+* repeat
+* repeat
+* replicate
+* replicate
+* replicate
+* reverse
+* reverse
+* reverse
+* scanl
+* scanl
+* scanl
+* scanl1
+* scanr
+* scanr
+* scanr1
+* span
+* span
+* splitAt
+* splitAt
+* splitAt
+* tail
+* tail
+* take
+* take
+* take
+* takeWhile
+* takeWhile
+* takeWhile
+* unzip
+* zipWith
+* zipWith
+* zipWith
+* &&
+* not
+* ||
+* /=
+* <
+* <=
+* >
+* compare
+* max
+* min
+* $
+* error
+* error
+* undefined
+* undefined
+* seq
+* >=
+* ==
+* join
+* first
+* toList
+* filter
+* filter
+* filter
+* zip
+* zip
+* zip
+* assert
+* mkInteger
+* guard
+* liftM
+* lift
+* <|>
+* <**>
+* empty
+* empty
+* empty
+* some
+* many
+* mzero
+* mplus
+* ap
+* liftA
+* liftA2
+* liftA3
+* liftM2
+* liftM3
+* liftM4
+* liftM5
+* maxInt
+* minInt
+* ord
+* when
+* unpack
+* unpack
+* .&.
+* shiftL
+* shiftR
+* double2Int
+* float2Int
+* int2Double
+* int2Float
+* denominator
+* numerator
+* numericEnumFrom
+* numericEnumFromThen
+* numericEnumFromThenTo
+* numericEnumFromTo
+* isDoubleDenormalized
+* isDoubleInfinite
+* isDoubleNaN
+* isDoubleNegativeZero
+* isFloatDenormalized
+* isFloatInfinite
+* isFloatNaN
+* isFloatNegativeZero
+* isDoubleFinite
+* isFloatFinite
+* acosDouble
+* acosFloat
+* asinDouble
+* asinFloat
+* atanDouble
+* atanFloat
+* clamp
+* cosDouble
+* cosFloat
+* coshDouble
+* coshFloat
+* divideDouble
+* divideFloat
+* double2Float
+* eqDouble
+* eqFloat
+* expDouble
+* expFloat
+* expt
+* expts
+* expts10
+* float2Double
+* floatToDigits
+* formatRealFloat
+* formatRealFloatAlt
+* fromRat
+* fromRat'
+* fromRat''
+* geDouble
+* geFloat
+* gtDouble
+* gtFloat
+* integerLogBase
+* leDouble
+* leFloat
+* logDouble
+* logFloat
+* ltDouble
+* ltFloat
+* maxExpt
+* maxExpt10
+* minExpt
+* minusDouble
+* minusFloat
+* neDouble
+* neFloat
+* negateDouble
+* negateFloat
+* plusDouble
+* plusFloat
+* powerDouble
+* powerFloat
+* roundTo
+* showFloat
+* showSignedFloat
+* sinDouble
+* sinFloat
+* sinhDouble
+* sinhFloat
+* sqrtDouble
+* sqrtFloat
+* tanDouble
+* tanFloat
+* tanhDouble
+* tanhFloat
+* timesDouble
+* timesFloat
+* word2Double
+* word2Float
+* eqInteger
+* divZeroError
+* uncons
+* uncons
+* headMay
+* headDef
+* initMay
+* initDef
+* initSafe
+* tailMay
+* tailDef
+* tailSafe
+* lastDef
+* lastMay
+* foldr1May
+* foldl1May
+* atMay
+* atDef
+* optional
+* $!!
+* force
+* intercalate
+* intercalate
+* intercalate
+* isPrefixOf
+* isPrefixOf
+* isPrefixOf
+* sortBy
+* sort
+* intersperse
+* intersperse
+* intersperse
+* transpose
+* transpose
+* transpose
+* subsequences
+* permutations
+* unfoldr
+* unfoldr
+* unfoldr
+* inits
+* inits
+* inits
+* tails
+* tails
+* tails
+* typeRep
+* cast
+* eqT
+* coerceWith
+* sym
+* trans
+* castWith
+* gcastWith
+* absurd
+* vacuous
+* put
+* get
+* gets
+* modify
+* withState
+* runState
+* execState
+* evalState
+* runStateT
+* execStateT
+* evalStateT
+* ask
+* asks
+* local
+* runReader
+* runReaderT
+* throwError
+* catchError
+* runExcept
+* runExceptT
+* liftIO
+* chr
+* bool
+* fix
+* on
+* toStrict
+* toStrict
+* fromStrict
+* fromStrict
+* getArgs
+* stdin
+* stdout
+* stderr
+* withFile
+* openFile
+* readMaybe
+* readEither
+* zero
+* panic
+* toS
+* toSL
+* orAlt
+* orEmpty
+* eitherA
+* maybeToLeft
+* maybeToRight
+* leftToMaybe
+* rightToMaybe
+* maybeToEither
+* $>
+* >=>
+* <=<
+* forever
+* mfilter
+* filterM
+* mapAndUnzipM
+* zipWithM
+* zipWithM_
+* foldM
+* foldM_
+* replicateM
+* replicateM_
+* concatMapM
+* unless
+* liftM'
+* liftM2'
+* <$!>
+* trace
+* traceM
+* traceIO
+* traceShow
+* traceShowM
+* notImplemented
+* whenM
+* unlessM
+* ifM
+* guardM
+* putText
+* putLText
+* ordNub
+* sortOn
+* list
+* comparing
+* one
+* <.>
+* conIsRecord
+* conName
+* from
+* selName
+* to
+* <>
+* getAll
+* getAlt
+* getAny
+* getDual
+* appEndo
+* getFirst
+* getLast
+* getProduct
+* getSum
+* isLeft
+* isRight
+* lefts
+* partitionEithers
+* rights
+* conFixity
+* unK1
+* unM1
+* geInteger
+* gtInteger
+* hashInteger
+* leInteger
+* ltInteger
+* neqInteger
+* testBitInteger
+* catMaybes
+* fromMaybe
+* isJust
+* isNothing
+* listToMaybe
+* mapMaybe
+* cons
+* cons
+* maybeToList
+* find
+* find
+* find
+* foldl'
+* foldl'
+* foldl'
+* maximumBy
+* minimumBy
+* dropWhileEnd
+* elemIndex
+* elemIndices
+* findIndex
+* findIndices
+* groupBy
+* groupBy
+* isInfixOf
+* isSuffixOf
+* isSuffixOf
+* partition
+* partition
+* stripPrefix
+* mapAccumL
+* mapAccumL
+* mapAccumL
+* mapAccumR
+* mapAccumR
+* mapAccumR
+* foldl1'
+* foldl1'
+* fold
+* foldr'
+* asum
+* foldlM
+* foldrM
+* forM_
+* for_
+* msum
+* sequenceA_
+* traverse_
+* forM
+* singleton
+* singleton
+* link
+* getConst
+* getZipList
+* boundedEnumFrom
+* boundedEnumFromThen
+* fromEnumError
+* predError
+* succError
+* toEnumError
+* %
+* ^%^
+* ^^%^^
+* gcdInt'
+* gcdWord'
+* infinity
+* integralEnumFrom
+* integralEnumFromThen
+* integralEnumFromThenTo
+* integralEnumFromTo
+* notANumber
+* overflowError
+* ratioPrec
+* ratioPrec1
+* ratioZeroDenominatorError
+* reduce
+* showSigned
+* bracket
+* .|.
+* hGetContents
+* hGetContents
+* hGetLine
+* hPutStr
+* hPutStr
+* hPutStrLn
+* newEmptyMVar
+* putMVar
+* takeMVar
+* index
+* index
+* unfoldrN
+* append
+* append
+* snoc
+* snoc
+* toCaseFold
+* toLower
+* toTitle
+* toUpper
+* breakOn
+* breakOnAll
+* breakOnEnd
+* center
+* chunksOf
+* commonPrefixes
+* compareLength
+* copy
+* count
+* count
+* dropAround
+* dropEnd
+* justifyLeft
+* justifyRight
+* pack
+* pack
+* replace
+* second
+* splitOn
+* strip
+* stripEnd
+* stripStart
+* stripSuffix
+* takeEnd
+* takeWhileEnd
+* msg
+* hPut
+* mask
+* runIdentity
+* fmapDefault
+* foldMapDefault
+* for
+* runST
+* elemIndexEnd
+* hGet
+* hGetNonBlocking
+* hPutNonBlocking
+* splitWith
+* unsnoc
+* cons'
+* fromChunks
+* fromChunks
+* toChunks
+* toChunks
+* hGetChunk
+* foldlChunks
+* foldlChunks
+* foldrChunks
+* foldrChunks
+* strConv
+* try
+* evaluate
+* bit
+* bitDefault
+* bitSize
+* bitSizeMaybe
+* complement
+* countLeadingZeros
+* countTrailingZeros
+* finiteBitSize
+* isSigned
+* popCount
+* rotate
+* shift
+* testBit
+* testBitDefault
+* unsafeShiftL
+* unsafeShiftR
+* xor
+* byteSwap16
+* byteSwap32
+* byteSwap64
+* throw
+* bracketOnError
+* bracket_
+* catch
+* catchJust
+* finally
+* handle
+* handleJust
+* mapException
+* onException
+* tryJust
+* displayException
+* fromException
+* toException
+* getMaskingState
+* mask_
+* throwIO
+* uninterruptibleMask
+* uninterruptibleMask_
+* allowInterrupt
+* catches
+* throwTo
+* asyncExceptionFromException
+* asyncExceptionToException
+* bimap
+* rnf
+* swap
+* rotateL
+* rotateR
+* zeroBits
+* setBit
+* clearBit
+* complementBit
+* popCountDefault
+* toIntegralSized
+* cis
+* conjugate
+* imagPart
+* magnitude
+* mkPolar
+* phase
+* polar
+* realPart
+* die
+* exitFailure
+* exitSuccess
+* exitWith
+* stToIO
+* fixST
+* check
+* always
+* alwaysSucceeds
+* atomically
+* catchSTM
+* orElse
+* retry
+* throwSTM
+* dupChan
+* getChanContents
+* isEmptyChan
+* newChan
+* readChan
+* unGetChan
+* writeChan
+* writeList2Chan
+* addMVarFinalizer
+* mkWeakMVar
+* modifyMVar
+* modifyMVarMasked
+* modifyMVarMasked_
+* modifyMVar_
+* swapMVar
+* withMVar
+* withMVarMasked
+* newQSem
+* signalQSem
+* waitQSem
+* newQSemN
+* signalQSemN
+* waitQSemN
+* threadDelay
+* threadWaitRead
+* threadWaitReadSTM
+* threadWaitWrite
+* threadWaitWriteSTM
+* forkIO
+* forkIOWithUnmask
+* forkOn
+* forkOnWithUnmask
+* getNumCapabilities
+* killThread
+* mkWeakThreadId
+* myThreadId
+* setNumCapabilities
+* threadCapability
+* yield
+* isEmptyMVar
+* newMVar
+* readMVar
+* tryPutMVar
+* tryReadMVar
+* tryTakeMVar
+* forkFinally
+* forkOS
+* rtsSupportsBoundThreads
+* isCurrentThreadBound
+* runInBoundThread
+* runInUnboundThread
+* asyncThreadId
+* runConcurrently
+* asyncBound
+* asyncOn
+* asyncOnWithUnmask
+* asyncWithUnmask
+* cancel
+* cancelWith
+* concurrently
+* forConcurrently
+* link2
+* mapConcurrently
+* poll
+* pollSTM
+* race
+* race_
+* wait
+* waitAny
+* waitAnyCancel
+* waitAnyCatch
+* waitAnyCatchCancel
+* waitAnyCatchSTM
+* waitAnySTM
+* waitBoth
+* waitBothSTM
+* waitCatch
+* waitCatchSTM
+* waitEither
+* waitEitherCancel
+* waitEitherCatch
+* waitEitherCatchCancel
+* waitEitherCatchSTM
+* waitEitherSTM
+* waitEitherSTM_
+* waitEither_
+* waitSTM
+* withAsync
+* withAsyncBound
+* withAsyncOn
+* withAsyncOnWithUnmask
+* withAsyncWithUnmask