(#) -> (|>)