Test.TypeSpec.Core
data TypeSpec expectation
type family EvalExpectation (expectation :: k) :: Result k
class PrettyTypeSpec t
prettyIndentation