Linear7.hs:7:16: error:
    • Couldn't match type ‘'Many’ with ‘'One’
        arising from multiplicity of ‘n’
    • In an equation for ‘incorrectLCase’:
          incorrectLCase n
            = \case
                True -> n
                False -> 0