Just an experiment, move along :); seeing if bracketing patterns can be abstracted over into lifted using invariant functors - View it on GitHub