export { let complex-magnitude = λ{ { re: ℝ, im: ℝ } : ℂ ~ Cartesian ~ } -> ℝ ↦ { } }