Test.TypeSpec.Core

data TypeSpec expectation

type family EvalExpectation (expectation :: k) :: Result k

class PrettyTypeSpec t

prettyIndentation

nest'

sentence