Another appendix, detailing the extension of [[-]] to non-session
types.