types is:module

Mapping of C types to corresponding Haskell types.
POSIX data types: Haskell equivalents of the types defined by the <sys/types.h> C header on a POSIX system.
Types for text encoding/decoding
Basic types for the implementation of IO Handles.
type definitions for implicit call-stacks. Use GHC.Stack from the base package instead of importing this module directly.
Warning: this is an internal module, and does not have a stable API or name. Functions in this module may not check or enforce preconditions expected by public modules. Use at your own risk! Core stream fusion functionality for text.
Types for working with JSON data.
Simple, efficient parser combinators, loosely based on the Parsec library.
Simple, efficient parser combinators for strings, loosely based on the Parsec library.
Types for benchmarking. The core type is Benchmarkable, which admits both pure functions and IO actions. For a pure function of type a -> b, the benchmarking harness calls this function repeatedly, each time with a different Int64 argument (the number of times to run the function in a loop), and reduces the result the function returns to weak head normal form. For an action of type IO a, the benchmarking harness calls the action repeatedly, but does not reduce the result.
GHC type definitions. Use GHC.Exts from the base package instead of importing this module directly.
Basic types and classes for primitive array operations.
This provides an abstraction which deals with configuring and running programs. A Program is a static notion of a known program. A ConfiguredProgram is a Program that has been found on the current machine and is ready to be run (possibly with some user-supplied default args). Configuring a program involves finding its location and if necessary finding its version. There's reasonable default behavior for trying to find "foo" in PATH, being able to override its location, etc.
This module is about types that can be defined in Haskell, but which must be wired into the compiler nonetheless. C.f module GHC.Builtin.Types.Prim
Bytecode assembler types