<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=GB2312">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <meta charset="utf-8">
    <p style="margin-top: 0px; margin-right: 0px; margin-bottom: 1em;
      margin-left: 0px; padding-top: 0px; padding-right: 0px;
      padding-bottom: 0px; padding-left: 0px; border-top-width: 0px;
      border-right-width: 0px; border-bottom-width: 0px;
      border-left-width: 0px; border-style: initial; border-color:
      initial; font-size: 14px; vertical-align: baseline;
      background-image: initial; background-attachment: initial;
      background-origin: initial; background-clip: initial;
      background-color: rgb(255, 255, 255); clear: both; word-wrap:
      break-word; color: rgb(0, 0, 0); font-family: Arial, 'Liberation
      Sans', 'DejaVu Sans', sans-serif; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: 18px; orphans: 2; text-align: left; text-indent: 0px;
      text-transform: none; white-space: normal; widows: 2;
      word-spacing: 0px; -webkit-text-size-adjust: auto;
      -webkit-text-stroke-width: 0px; background-position: initial
      initial; background-repeat: initial initial; ">Hi, all<br>
      &nbsp;&nbsp; I tried to follow the program of the paper "Scrap your
      boilerpolate" Revolutions. Unfortunately, <br>
      I found the program in the section lifted spine view does not
      compile in my GHC, could anybody<br>
      &nbsp;point out where I am wrong? Many Thanks</p>
    <p style="margin-top: 0px; margin-right: 0px; margin-bottom: 1em;
      margin-left: 0px; padding-top: 0px; padding-right: 0px;
      padding-bottom: 0px; padding-left: 0px; border-top-width: 0px;
      border-right-width: 0px; border-bottom-width: 0px;
      border-left-width: 0px; border-style: initial; border-color:
      initial; font-size: 14px; vertical-align: baseline;
      background-image: initial; background-attachment: initial;
      background-origin: initial; background-clip: initial;
      background-color: rgb(255, 255, 255); clear: both; word-wrap:
      break-word; color: rgb(0, 0, 0); font-family: Arial, 'Liberation
      Sans', 'DejaVu Sans', sans-serif; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: 18px; orphans: 2; text-align: left; text-indent: 0px;
      text-transform: none; white-space: normal; widows: 2;
      word-spacing: 0px; -webkit-text-size-adjust: auto;
      -webkit-text-stroke-width: 0px; background-position: initial
      initial; background-repeat: initial initial; ">My code is posted
      here<span class="Apple-converted-space">&nbsp;</span><a
        href="http://hpaste.org/54357" rel="nofollow" style="margin-top:
        0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;
        padding-top: 0px; padding-right: 0px; padding-bottom: 0px;
        padding-left: 0px; border-top-width: 0px; border-right-width:
        0px; border-bottom-width: 0px; border-left-width: 0px;
        border-style: initial; border-color: initial; font-size: 14px;
        vertical-align: baseline; background-image: initial;
        background-attachment: initial; background-origin: initial;
        background-clip: initial; background-color: transparent; color:
        rgb(0, 119, 204); text-decoration: none; cursor: pointer;
        background-position: initial initial; background-repeat: initial
        initial; ">http://hpaste.org/54357</a></p>
  </body>
</html>