Reverted back to a single 'Monoid' for 'Input'
Updated documentation