getOptExample
    :: Flag "o" '["output"] "FILE" "output FILE" (Def "stdout" String)
    -> Flag "c" '[] "FILE" "input FILE" (Def "stdin" String)
    -> Flag "L" '["libdir"] "DIR" "library directory" String
    -> Cmd "GetOpt example" ()
getOptExample output input libdir =
    liftIO $ print (get output, get input, get libdir)
getOptExample
    :: Flag "o" '["output"] "FILE" "output FILE" (Def "stdout" String)
    -> Flag "c" '[] "FILE" "input FILE" (Def "stdin" String)
    -> Flag "L" '["libdir"] "DIR" "library directory" String
    -> Cmd "GetOpt example" ()
getOptExample output input libdir =
    liftIO $ print (get output, get input, get libdir)
getOptExample output input libdir =
    liftIO $ print (get output, get input, get libdir)