This package provides a way to make runtime assertions about types that cooperate with the typechecker, intended for use in testing. For more information, see the module documentation for "Test.TypeAssertions".