public export
swap : (x ⊗ y) =&> (y ⊗ x)
swap = !! \x => swap x ## swap
public export
parallel : a =&> b -> a' =&> b' -> a ⊗ a' =&> b ⊗ b'public export
swap : (x ⊗ y) =&> (y ⊗ x)
swap = !! \x => swap x ## swap
public export
parallel : a =&> b -> a' =&> b' -> a ⊗ a' =&> b ⊗ b'