SmartConstructor

data SmartCtorOptions

defaultOptions

makeSmartCtor