rebindable12.hs:10:5: error: [GHC-83865]
    • Couldn't match expected type ‘()’ with actual type ‘() -> ()’
    • In the expression: if 'a' then () else ()
      In an equation for ‘y’: y = if 'a' then () else ()