defaultOptions :: Options
defaultOptions =
    Options
    { addOperatorSetHoleState = Nothing
    }
defaultOptions :: Options
defaultOptions =
    Options
    { addOperatorSetHoleState = Nothing
    }
defaultOptions =
    Options
    { addOperatorSetHoleState = Nothing
    }