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.