Plugins

data FrontendPlugin

defaultFrontendPlugin

data Plugin

type CommandLineOption

defaultPlugin