I trust the type system more than vibe tests.