:set -XUnboxedSums -XPartialTypeSignatures -fno-warn-partial-type-signatures
:kind (# _ | _ #)