An executable Haskell template for hi, using OptParse-Applicative and QuickCheck