Language.Haskell.Liquid.Prover.Misc
powerset
powerset'
(/\/)
findM
mapSnd
second3