---
source: fp-macros/src/documentation/signature_snapshot_tests.rs
assertion_line: 137
expression: output
---
compact: forall Brand A. Compactable Brand => Brand (Option A) -> Brand A
separate: forall Brand E O. Compactable Brand => Brand (Result O E) -> (Brand E, Brand O)
