unpack 'a a S> L> Q> a*'