Factoring `defaultFoo` functions in CmdLine to fixpoint
Factoring `defaultFoo` functions in CmdLine to fixpoint

abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell