:set -XUnboxedSums
:kind (# _ | _ #)