Как иметь фиксированные параметры, используя Option.Applicative в Haskell?

Вы можете работать с пользовательским парсером, например:

import Data.Char(toLower)
import Options.Applicative(ReadM, eitherReader)

data OutputType = File | Env | Db

parseOutputType :: ReadM OutputType
parseOutputType = eitherReader $ (go . map toLower)
  where go "file" = Right File
        go "env" = Right Env
        go "db" = Right Db
        go _ = Left "Enter a valid option: file, env, or db"

а затем проанализируйте варианты с помощью:

import Options.Applicative

data MyOptions = MyOptions { display :: OutputType }

parseOptions :: Parser MyOptions
parseOptions = MyOptions <$> option parseOutputType (long "display")