DoParamM.hs:146:25: error:
    • Couldn't match expected type ‘Int’ with actual type ‘Char’
    • In the second argument of ‘(==)’, namely ‘v'’
      In the first argument of ‘return’, namely ‘(v == v')’
      In a stmt of a 'do' block: return (v == v')

DoParamM.hs:286:28: error:
    • Couldn't match type ‘Unlocked’ with ‘Locked’
      Expected type: LIO Locked Locked ()
        Actual type: LIO Unlocked Locked ()
    • In a stmt of a 'do' block: tlock2_do
      In the expression:
        do { tlock2_do;
             tlock2_do }
      In an equation for ‘tlock4_do’:
          tlock4_do
            = do { tlock2_do;
                   tlock2_do }

DoParamM.hs:302:37: error:
    • Couldn't match type ‘Locked’ with ‘Unlocked’
      Expected type: LIO Unlocked Unlocked ()
        Actual type: LIO Locked Unlocked ()
    • In a stmt of a 'do' block: unlock
      In the expression:
        do { tlock2_do;
             unlock;
             unlock }
      In an equation for ‘tlock4'_do’:
          tlock4'_do
            = do { tlock2_do;
                   unlock;
                   unlock }