LinearRecordUpdate.hs:8:12: error: [GHC-18872]
    • Couldn't match type ‘Many’ with ‘One’
        arising from multiplicity of ‘r’
    • In an equation for ‘shouldFail’: shouldFail r = r {y = False}