hdgarrood · May 8, 2020 23:25
diff --git a/Main.html b/Main.html
 <!DOCTYPE HTML>
 <html><head><meta charset="utf-8"><meta http-equiv="X-UA-Compatible" content="IE=edge"><meta name="viewport" content="width=device-width, initial-scale=1"><title>PureScript: Main</title><link href="https://fonts.googleapis.com/css?family=Roboto+Mono|Roboto:300,400,400i,700,700i" type="text/css" rel="stylesheet"><style type="text/css">/*! normalize.css v3.0.2 | MIT License | git.io/normalize */

 /**
 * 1. Set default font family to sans-serif.
 * 2. Prevent iOS text size adjust after orientation change, without disabling
 *    user zoom.
 */

 html {
  font-family: sans-serif; /* 1 */
  -ms-text-size-adjust: 100%; /* 2 */
  -webkit-text-size-adjust: 100%; /* 2 */
 }

 /**
 * Remove default margin.
 */

 body {
  margin: 0;
 }

 /* HTML5 display definitions
   ========================================================================== */

 /**
 * Correct `block` display not defined for any HTML5 element in IE 8/9.
 * Correct `block` display not defined for `details` or `summary` in IE 10/11
 * and Firefox.
 * Correct `block` display not defined for `main` in IE 11.
 */

 article,
 aside,
 details,
 figcaption,
 figure,
 footer,
 header,
 hgroup,
 main,
 menu,
 nav,
 section,
 summary {
  display: block;
 }

 /**
 * 1. Correct `inline-block` display not defined in IE 8/9.
 * 2. Normalize vertical alignment of `progress` in Chrome, Firefox, and Opera.
 */

 audio,
 canvas,
 progress,
 video {
  display: inline-block; /* 1 */
  vertical-align: baseline; /* 2 */
 }

 /**
 * Prevent modern browsers from displaying `audio` without controls.
 * Remove excess height in iOS 5 devices.
 */

 audio:not([controls]) {
  display: none;
  height: 0;
 }

 /**
 * Address `[hidden]` styling not present in IE 8/9/10.
 * Hide the `template` element in IE 8/9/11, Safari, and Firefox < 22.
 */

 [hidden],
 template {
  display: none;
 }

 /* Links
   ========================================================================== */

 /**
 * Remove the gray background color from active links in IE 10.
 */

 a {
  background-color: transparent;
 }

 /**
 * Improve readability when focused and also mouse hovered in all browsers.
 */

 a:active,
 a:hover {
  outline: 0;
 }

 /* Text-level semantics
   ========================================================================== */

 /**
 * Address styling not present in IE 8/9/10/11, Safari, and Chrome.
 */

 abbr[title] {
  border-bottom: 1px dotted;
 }

 /**
 * Address style set to `bolder` in Firefox 4+, Safari, and Chrome.
 */

 b,
 strong {
  font-weight: bold;
 }

 /**
 * Address styling not present in Safari and Chrome.
 */

 dfn {
  font-style: italic;
 }

 /**
 * Address variable `h1` font-size and margin within `section` and `article`
 * contexts in Firefox 4+, Safari, and Chrome.
 */

 h1 {
  font-size: 2em;
  margin: 0.67em 0;
 }

 /**
 * Address styling not present in IE 8/9.
 */

 mark {
  background: #ff0;
  color: #000;
 }

 /**
 * Address inconsistent and variable font size in all browsers.
 */

 small {
  font-size: 80%;
 }

 /**
 * Prevent `sub` and `sup` affecting `line-height` in all browsers.
 */

 sub,
 sup {
  font-size: 75%;
  line-height: 0;
  position: relative;
  vertical-align: baseline;
 }

 sup {
  top: -0.5em;
 }

 sub {
  bottom: -0.25em;
 }

 /* Embedded content
   ========================================================================== */

 /**
 * Remove border when inside `a` element in IE 8/9/10.
 */

 img {
  border: 0;
 }

 /**
 * Correct overflow not hidden in IE 9/10/11.
 */

 svg:not(:root) {
  overflow: hidden;
 }

 /* Grouping content
   ========================================================================== */

 /**
 * Address margin not present in IE 8/9 and Safari.
 */

 figure {
  margin: 1em 40px;
 }

 /**
 * Address differences between Firefox and other browsers.
 */

 hr {
  -moz-box-sizing: content-box;
  box-sizing: content-box;
  height: 0;
 }

 /**
 * Contain overflow in all browsers.
 */

 pre {
  overflow: auto;
 }

 /**
 * Address odd `em`-unit font size rendering in all browsers.
 */

 code,
 kbd,
 pre,
 samp {
  font-family: monospace, monospace;
  font-size: 1em;
 }

 /* Forms
   ========================================================================== */

 /**
 * Known limitation: by default, Chrome and Safari on OS X allow very limited
 * styling of `select`, unless a `border` property is set.
 */

 /**
 * 1. Correct color not being inherited.
 *    Known issue: affects color of disabled elements.
 * 2. Correct font properties not being inherited.
 * 3. Address margins set differently in Firefox 4+, Safari, and Chrome.
 */

 button,
 input,
 optgroup,
 select,
 textarea {
  color: inherit; /* 1 */
  font: inherit; /* 2 */
  margin: 0; /* 3 */
 }

 /**
 * Address `overflow` set to `hidden` in IE 8/9/10/11.
 */

 button {
  overflow: visible;
 }

 /**
 * Address inconsistent `text-transform` inheritance for `button` and `select`.
 * All other form control elements do not inherit `text-transform` values.
 * Correct `button` style inheritance in Firefox, IE 8/9/10/11, and Opera.
 * Correct `select` style inheritance in Firefox.
 */

 button,
 select {
  text-transform: none;
 }

 /**
 * 1. Avoid the WebKit bug in Android 4.0.* where (2) destroys native `audio`
 *    and `video` controls.
 * 2. Correct inability to style clickable `input` types in iOS.
 * 3. Improve usability and consistency of cursor style between image-type
 *    `input` and others.
 */

 button,
 html input[type="button"], /* 1 */
 input[type="reset"],
 input[type="submit"] {
  -webkit-appearance: button; /* 2 */
  cursor: pointer; /* 3 */
 }

 /**
 * Re-set default cursor for disabled elements.
 */

 button[disabled],
 html input[disabled] {
  cursor: default;
 }

 /**
 * Remove inner padding and border in Firefox 4+.
 */

 button::-moz-focus-inner,
 input::-moz-focus-inner {
  border: 0;
  padding: 0;
 }

 /**
 * Address Firefox 4+ setting `line-height` on `input` using `!important` in
 * the UA stylesheet.
 */

 input {
  line-height: normal;
 }

 /**
 * It's recommended that you don't attempt to style these elements.
 * Firefox's implementation doesn't respect box-sizing, padding, or width.
 *
 * 1. Address box sizing set to `content-box` in IE 8/9/10.
 * 2. Remove excess padding in IE 8/9/10.
 */

 input[type="checkbox"],
 input[type="radio"] {
  box-sizing: border-box; /* 1 */
  padding: 0; /* 2 */
 }

 /**
 * Fix the cursor style for Chrome's increment/decrement buttons. For certain
 * `font-size` values of the `input`, it causes the cursor style of the
 * decrement button to change from `default` to `text`.
 */

 input[type="number"]::-webkit-inner-spin-button,
 input[type="number"]::-webkit-outer-spin-button {
  height: auto;
 }

 /**
 * 1. Address `appearance` set to `searchfield` in Safari and Chrome.
 * 2. Address `box-sizing` set to `border-box` in Safari and Chrome
 *    (include `-moz` to future-proof).
 */

 input[type="search"] {
  -webkit-appearance: textfield; /* 1 */
  -moz-box-sizing: content-box;
  -webkit-box-sizing: content-box; /* 2 */
  box-sizing: content-box;
 }

 /**
 * Remove inner padding and search cancel button in Safari and Chrome on OS X.
 * Safari (but not Chrome) clips the cancel button when the search input has
 * padding (and `textfield` appearance).
 */

 input[type="search"]::-webkit-search-cancel-button,
 input[type="search"]::-webkit-search-decoration {
  -webkit-appearance: none;
 }

 /**
 * Define consistent border, margin, and padding.
 */

 fieldset {
  border: 1px solid #c0c0c0;
  margin: 0 2px;
  padding: 0.35em 0.625em 0.75em;
 }

 /**
 * 1. Correct `color` not being inherited in IE 8/9/10/11.
 * 2. Remove padding so people aren't caught out if they zero out fieldsets.
 */

 legend {
  border: 0; /* 1 */
  padding: 0; /* 2 */
 }

 /**
 * Remove default vertical scrollbar in IE 8/9/10/11.
 */

 textarea {
  overflow: auto;
 }

 /**
 * Don't inherit the `font-weight` (applied by a rule above).
 * NOTE: the default cannot safely be changed in Chrome and Safari on OS X.
 */

 optgroup {
  font-weight: bold;
 }

 /* Tables
   ========================================================================== */

 /**
 * Remove most spacing between table cells.
 */

 table {
  border-collapse: collapse;
  border-spacing: 0;
 }

 td,
 th {
  padding: 0;
 }
 </style><style type="text/css">/** ************************************************************************* *
 ** CSS for HTML docs (e.g. Pursuit)
 **
 ** STRUCTURE
 **
 ** This CSS file is structured into several sections, from general to
 ** specific, and (mostly) alphabetically within the sections.
 **
 ** Several global element styles are used. This is not encouraged and should
 ** be kept to a minimum. If you want to add new styles you'll most likely
 ** want to add a new CSS component. See the Components section for examples.
 **
 ** CSS components use three simple naming ideas from the BEM system:
 **   - Block:    `.my-component`
 **   - Element:  `.my-component__item`
 **   - Modifier: `.my-component.my-component--highlighted`
 **
 **   Example:
 **   <div .my-component>
 **     <div .my-component__item>
 **     <div .my-component__item>
 **   ...
 **   <div .my-component.my-component--highlighted>
 **     <div .my-component__item>
 **     <div .my-component__item>
 **
 ** Components can be nested.
 **
 **
 ** TYPOGRAPHY
 **
 ** Typographic choices for sizes, line-heights and margins are based on a
 ** musical major third scale (4:5). This gives us a way to find numbers
 ** and relationships between them that are perceived as harmonic.
 **
 ** To make use of this modular scale, use a ratio of the form
 **   (5/4)^n
 ** where n ∈ ℤ, -6 ≤ n ≤ 8.
 **
 ** LESS
 **
 ** This CSS is generated by less. To compile it:
 **
 **   npm install [-g] less
 **   lessc app/static/pursuit.less > app/static/pursuit.css
 **
 ** ************************************************************************* */
 /* Section: Variables
 * ========================================================================== */
 /* Section: Document Styles
 * ========================================================================== */
 html {
  box-sizing: border-box;
  /* This overflow rule prevents everything from shifting slightly to the side
     when moving from a page which isn't large enough to generate a scrollbar
     to one that is. */
  overflow-y: scroll;
 }
 *,
 *::before,
 *::after {
  box-sizing: inherit;
 }
 body {
  background-color: #ffffff;
  color: #000;
  font-family: "Roboto", sans-serif;
  font-size: 87.5%;
  line-height: 1.563;
 }
 @media (min-width: 38em) {
  body {
    font-size: 100%;
  }
 }
 /* Section: Utility Classes
 * ========================================================================== */
 .clear-floats {
  clear: both;
 }
 .clearfix::before,
 .clearfix::after {
  content: " ";
  display: table;
 }
 .clearfix::after {
  clear: both;
 }
 /* Content hidden like this will still be read by a screen reader */
 .hide-visually {
  position: absolute;
  left: -10000px;
  top: auto;
  width: 1px;
  height: 1px;
  overflow: hidden;
 }
 /* Section: Layout
 * ========================================================================== */
 .container {
  display: block;
  max-width: 66em;
  margin-left: auto;
  margin-right: auto;
  padding-left: 20px;
  padding-right: 20px;
 }
 .col {
  display: block;
  position: relative;
  width: 100%;
 }
 .col.col--main {
  margin-bottom: 3.08em;
 }
 .col.col--aside {
  margin-bottom: 2.44em;
 }
 @media (min-width: 52em) {
  .container {
    padding-left: 30px;
    padding-right: 30px;
  }
  .col.col--main {
    float: left;
    width: 63.655%;
    /* 66.6…% - 30px */
  }
  .col.col--aside {
    float: right;
    font-size: 87.5%;
    width: 33.333333%;
  }
 }
 @media (min-width: 66em) {
  .col.col--aside {
    font-size: inherit;
  }
 }
 /* Footer
 * Based on http://www.lwis.net/journal/2008/02/08/pure-css-sticky-footer/
 * Except we don't support IE6
 * -------------------------------------------------------------------------- */
 html,
 body {
  height: 100%;
 }
 .everything-except-footer {
  min-height: 100%;
  padding-bottom: 3em;
 }
 .footer {
  position: relative;
  height: 3em;
  margin-top: -3em;
  width: 100%;
  text-align: center;
  background-color: #1d222d;
  color: #f0f0f0;
 }
 .footer * {
  margin-bottom: 0;
 }
 /* Section: Element Styles
 *
 * Have as few of these as possible and keep them general, because they will
 * influence every component hereafter.
 * ========================================================================== */
 :target {
  background-color: #f1f5f9;
 }
 a,
 a:visited {
  color: #c4953a;
  text-decoration: none;
  font-weight: bold;
 }
 a:hover {
  color: #7b5904;
  text-decoration: none;
 }
 code,
 pre {
  background-color: #f1f5f9;
  border-radius: 3px;
  color: #194a5b;
  font-family: "Roboto Mono", monospace;
  font-size: 87.5%;
 }
 :target code,
 :target pre {
  background-color: #dfe8f1;
 }
 code {
  padding: 0.2em 0;
  margin: 0;
  white-space: pre-wrap;
  word-wrap: break-word;
 }
 code::before,
 code::after {
  letter-spacing: -0.2em;
  content: "\00a0";
 }
 a > code {
  font-weight: normal;
 }
 a > code::before {
  content: "🡒";
  letter-spacing: 0.33em;
 }
 a:hover > code {
  color: #c4953a;
 }
 pre {
  margin-top: 0;
  margin-bottom: 0;
  padding: 1em 1.25rem;
  /* Using rem here to align with lists etc. */
  overflow: auto;
  white-space: pre;
  word-wrap: normal;
 }
 pre code {
  background-color: transparent;
  border: 0;
  font-size: 100%;
  max-width: auto;
  padding: 0;
  margin: 0;
  overflow: visible;
  line-height: inherit;
  white-space: pre;
  word-break: normal;
  word-wrap: normal;
 }
 pre code::before,
 pre code::after {
  content: normal;
 }
 h1 {
  font-size: 3.052em;
  font-weight: 300;
  letter-spacing: -0.5px;
  line-height: 1.125;
  margin-top: 1.563rem;
  margin-bottom: 1.25rem;
 }
 @media (min-width: 52em) {
  h1 {
    font-size: 3.814em;
    margin-top: 5.96rem;
  }
 }
 h2 {
  font-size: 1.953em;
  font-weight: normal;
  line-height: 1.250;
  margin-top: 3.052rem;
  margin-bottom: 1rem;
 }
 h3 {
  font-size: 1.563em;
  font-weight: normal;
  line-height: 1.250;
  margin-top: 2.441rem;
  margin-bottom: 1rem;
 }
 h4 {
  font-size: 1.25em;
  font-weight: normal;
  margin-top: 2.441rem;
  margin-bottom: 1rem;
 }
 h1 + h2,
 h1 + h3,
 h1 + h4,
 h2 + h3,
 h2 + h4,
 h3 + h4 {
  margin-top: 1rem;
 }
 hr {
  border: none;
  height: 1px;
  background-color: #cccccc;
 }
 img {
  border-style: none;
  max-width: 100%;
 }
 p {
  font-size: 1em;
  margin-top: 1rem;
  margin-bottom: 1rem;
 }
 table {
  border-bottom: 1px solid #cccccc;
  border-collapse: collapse;
  border-spacing: 0;
  margin-top: 1rem;
  margin-bottom: 1rem;
  width: 100%;
 }
 td,
 th {
  text-align: left;
  padding: 0.41em 0.51em;
 }
 td {
  border-top: 1px solid #cccccc;
 }
 td:first-child,
 th:first-child {
  padding-left: 0;
 }
 td:last-child,
 th:last-child {
  padding-right: 0;
 }
 ul {
  list-style-type: none;
  margin-top: 1rem;
  margin-bottom: 1rem;
  padding-left: 0;
 }
 ul li {
  position: relative;
  padding-left: 1.250em;
 }
 ul li::before {
  position: absolute;
  color: #a0a0a0;
  content: "–";
  display: inline-block;
  margin-left: -1.25em;
  width: 1.250em;
 }
 /* Tying this tightly to ul at the moment because it's a slight variation thereof */
 ul.ul--search li::before {
  content: "⚲";
  top: -0.2em;
  transform: rotate(-45deg);
 }
 ol {
  margin-top: 1rem;
  margin-bottom: 1rem;
  padding-left: 1.250em;
 }
 ol li {
  position: relative;
  padding-left: 0;
 }
 /* Section: Components
 * ========================================================================== */
 /* Component: Badge
 * -------------------------------------------------------------------------- */
 .badge {
  position: relative;
  top: -0.1em;
  display: inline-block;
  background-color: #000;
  border-radius: 1.3em;
  color: #fff;
  font-size: 77%;
  font-weight: bold;
  line-height: 1.563;
  text-align: center;
  height: 1.5em;
  width: 1.5em;
 }
 .badge.badge--package {
  background-color: #c4953a;
  letter-spacing: -0.1em;
 }
 .badge.badge--module {
  background-color: #75B134;
 }
 /* Component: Declarations
 * -------------------------------------------------------------------------- */
 .decl__title {
  position: relative;
  padding-bottom: 0.328em;
  margin-bottom: 0.262em;
 }
 .decl__source {
  display: block;
  float: right;
  font-size: 64%;
  position: relative;
  top: 0.57em;
 }
 .decl__anchor,
 .decl__anchor:visited {
  position: absolute;
  left: -0.8em;
  color: #bababa;
 }
 .decl__anchor:hover {
  color: #c4953a;
 }
 .decl__signature {
  background-color: transparent;
  border-radius: 0;
  border-top: 1px solid #cccccc;
  border-bottom: 1px solid #cccccc;
  padding: 0.328em 0;
 }
 .decl__signature code {
  display: block;
  padding-left: 2.441em;
  text-indent: -2.441em;
  white-space: normal;
 }
 :target .decl__signature,
 :target .decl__signature code {
  /* We want the background to be transparent, even when the parent is a target */
  background-color: transparent;
 }
 .decl__body .keyword,
 .decl__body .syntax {
  color: #0B71B4;
 }
 .decl__child_comments {
  margin-top: 1rem;
  margin-bottom: 1rem;
 }
 /* Component: Dependency Link
 * -------------------------------------------------------------------------- */
 .deplink {
  /* Currently no root styles, but keep the class as a namespace */
 }
 .deplink__link {
  display: inline-block;
  margin-right: 0.41em;
 }
 .deplink__version {
  color: #666666;
  display: inline-block;
  font-size: 0.8em;
  line-height: 1;
 }
 /* Component: Grouped List
 * -------------------------------------------------------------------------- */
 .grouped-list {
  border-top: 1px solid #cccccc;
  margin: 0 0 2.44em 0;
 }
 .grouped-list__title {
  color: #666666;
  font-size: 0.8em;
  font-weight: 300;
  letter-spacing: 1px;
  margin: 0.8em 0 -0.1em 0;
  text-transform: uppercase;
 }
 .grouped-list__item {
  margin: 0;
 }
 /* Component: Message
 * -------------------------------------------------------------------------- */
 .message {
  border: 5px solid;
  border-radius: 5px;
  padding: 1em !important;
 }
 .message.message--error {
  background-color: #fff0f0;
  border-color: #c85050;
 }
 .message.message--not-available {
  background-color: #f0f096;
  border-color: #e3e33d;
 }
 /* Component: Multi Col
 * Multiple columns side by side
 * -------------------------------------------------------------------------- */
 .multi-col {
  margin-bottom: 2.44em;
 }
 .multi-col__col {
  display: block;
  padding-right: 1em;
  position: relative;
  width: 100%;
 }
 @media (min-width: 38em) and (max-width: 51.999999em) {
  .multi-col__col {
    float: left;
    width: 50%;
  }
  .multi-col__col:nth-child(2n+3) {
    clear: both;
  }
 }
 @media (min-width: 52em) {
  .multi-col__col {
    float: left;
    width: 33.333333%;
  }
  .multi-col__col:nth-child(3n+4) {
    clear: both;
  }
 }
 /* Component: Page Title
 * -------------------------------------------------------------------------- */
 .page-title {
  margin: 4.77em 0 1.56em;
  padding-bottom: 1.25em;
  position: relative;
 }
 .page-title__title {
  margin: 0 0 0 -0.05em;
  /* Visually align on left edge */
 }
 .page-title__label {
  position: relative;
  color: #666666;
  font-size: 0.8rem;
  font-weight: 300;
  letter-spacing: 1px;
  margin-bottom: -0.8em;
  text-transform: uppercase;
  z-index: 1;
 }
 /* Component: Top Banner
 * -------------------------------------------------------------------------- */
 .top-banner {
  background-color: #1d222d;
  color: #f0f0f0;
  font-weight: normal;
 }
 .top-banner__logo,
 .top-banner__logo:visited {
  float: left;
  color: #f0f0f0;
  font-size: 2.44em;
  font-weight: 300;
  line-height: 90px;
  margin: 0;
 }
 .top-banner__logo:hover {
  color: #c4953a;
  text-decoration: none;
 }
 .top-banner__form {
  margin-bottom: 1.25em;
 }
 .top-banner__form input {
  border: 1px solid #1d222d;
  border-radius: 3px;
  color: #1d222d;
  font-weight: 300;
  line-height: 2;
  padding: 0.21em 0.512em;
  width: 100%;
 }
 .top-banner__actions {
  float: right;
  text-align: right;
 }
 .top-banner__actions__item {
  display: inline-block;
  line-height: 90px;
  margin: 0;
  padding-left: 1.25em;
 }
 .top-banner__actions__item:first-child {
  padding-left: 0;
 }
 .top-banner__actions__item a,
 .top-banner__actions__item a:visited {
  color: #f0f0f0;
 }
 .top-banner__actions__item a:hover {
  color: #c4953a;
 }
 @media (min-width: 38em) {
  .top-banner__logo {
    float: left;
    width: 25%;
  }
  .top-banner__form {
    float: left;
    line-height: 90px;
    margin-bottom: 0;
    width: 50%;
  }
  .top-banner__actions {
    float: right;
    width: 25%;
  }
 }
 /* Component: Search Results
 * -------------------------------------------------------------------------- */
 .result.result--empty {
  font-size: 1.25em;
 }
 .result__title {
  font-size: 1.25em;
  margin-bottom: 0.2rem;
 }
 .result__badge {
  margin-left: -0.1em;
 }
 .result__body > *:first-child {
  margin-top: 0!important;
 }
 .result__body > *:last-child {
  margin-bottom: 0!important;
 }
 .result__signature {
  background-color: transparent;
  border-radius: 0;
  border-top: 1px solid #cccccc;
  border-bottom: 1px solid #cccccc;
  padding: 0.328em 0;
 }
 .result__signature code {
  display: block;
  padding-left: 2.441em;
  text-indent: -2.441em;
  white-space: normal;
 }
 .result__actions {
  margin-top: 0.2rem;
 }
 .result__actions__item {
  font-size: 80%;
 }
 .result__actions__item + .result__actions__item {
  margin-left: 0.65em;
 }
 /* Component: Version Selector
 * -------------------------------------------------------------------------- */
 .version-selector {
  margin-bottom: 0.8em;
 }
 @media (min-width: 38em) {
  .version-selector {
    position: absolute;
    top: 0.8em;
    right: 0;
    margin-bottom: 0;
  }
 }
 /* Section: FIXME
 * These styles should be cleaned up
 * ========================================================================== */
 /* Help paragraphs */
 .help {
  padding: 5px 0;
 }
 .help h3 {
  /* FIXME: target with class */
  margin-top: 16px;
 }
 /* Section: Markdown
 * Github rendered README
 * ========================================================================== */
 .markdown-body {
  /*
  Useful for narrow screens, such as mobiles. Documentation often contains URLs
  which would otherwise force the page to become wider, and force creation of
  horizontal scrollbars. Yuck.
  */
  word-wrap: break-word;
 }
 .markdown-body > *:first-child {
  margin-top: 0 !important;
 }
 .markdown-body > *:last-child {
  margin-bottom: 0 !important;
 }
 .markdown-body a:not([href]) {
  color: inherit;
  text-decoration: none;
 }
 .markdown-body blockquote {
  margin: 0;
  padding: 0 1em;
  color: #777;
  border-left: 0.25em solid #ddd;
 }
 .markdown-body blockquote > :first-child {
  margin-top: 0;
 }
 .markdown-body blockquote > :last-child {
  margin-bottom: 0;
 }
 .markdown-body .anchor {
  /* We hide the anchor because the link doesn't point to a valid location */
  display: none;
 }
 .markdown-body .pl-k {
  /* Keyword */
  color: #a0a0a0;
 }
 .markdown-body .pl-c1,
 .markdown-body .pl-en {
  /* Not really sure what this is */
  color: #39d;
 }
 .markdown-body .pl-s {
  /* String literals */
  color: #1a1;
 }
 .markdown-body .pl-cce {
  /* String literal escape sequences */
  color: #921;
 }
 .markdown-body .pl-smi {
  /* type variables? */
  color: #62b;
 }
 </style></head><body><div class="everything-except-footer"><div class="top-banner clearfix"><div class="container clearfix"><div style="float: left; font-size: 2.44em; font-weight: 300; line-height: 90px; margin: 0">PureScript API documentation</div><div class="top-banner__actions"><div class="top-banner__actions__item"><a href="index.html">Index</a></div></div></div></div><main class="container clearfix" role="main"><div class="page-title clearfix"><div class="page-title__label">Module</div><h1 class="page-title__title">Main</h1></div><div class="col col--main"><div class="decl" id="t:PolyProxy"><h3 class="decl__title clearfix"><a class="decl__anchor" href="#t:PolyProxy">#</a><span>PolyProxy</span> </h3><div class="decl__body"><pre class="decl__signature"><code><span class="keyword">data</span> <a href="Main.html#t:PolyProxy" title="Main.PolyProxy"><span class="ctor">PolyProxy</span></a> a</code></pre><h4>Constructors</h4><ul><li id="v:PolyProxy"><code><a href="Main.html#v:PolyProxy" title="Main.PolyProxy"><span class="ctor">PolyProxy</span></a></code></li></ul></div></div><div class="decl" id="t:ProxyType1"><h3 class="decl__title clearfix"><a class="decl__anchor" href="#t:ProxyType1">#</a><span>ProxyType1</span> </h3><div class="decl__body"><pre class="decl__signature"><code><span class="keyword">data</span> <a href="Main.html#t:ProxyType1" title="Main.ProxyType1"><span class="ctor">ProxyType1</span></a> <span class="syntax">(</span>a <span class="syntax">::</span> <a href="Prim.html#t:Type" title="Prim.Type"><span class="ctor">Type</span></a><span class="syntax">)</span></code></pre><h4>Constructors</h4><ul><li id="v:ProxyType1"><code><a href="Main.html#v:ProxyType1" title="Main.ProxyType1"><span class="ctor">ProxyType1</span></a></code></li></ul></div></div><div class="decl" id="t:ProxyType2"><h3 class="decl__title clearfix"><a class="decl__anchor" href="#t:ProxyType2">#</a><span>ProxyType2</span> </h3><div class="decl__body"><pre class="decl__signature"><code><span class="keyword">data</span> <a href="Main.html#t:ProxyType2" title="Main.ProxyType2"><span class="ctor">ProxyType2</span></a> a</code></pre><h4>Constructors</h4><ul><li id="v:ProxyType2"><code><a href="Main.html#v:ProxyType2" title="Main.ProxyType2"><span class="ctor">ProxyType2</span></a></code></li></ul></div></div><div class="decl" id="t:C1"><h3 class="decl__title clearfix"><a class="decl__anchor" href="#t:C1">#</a><span>C1</span> </h3><div class="decl__body"><pre class="decl__signature"><code><span class="keyword">class</span> <a href="Main.html#t:C1" title="Main.C1"><span class="ctor">C1</span></a> a </code></pre></div></div><div class="decl" id="t:C2"><h3 class="decl__title clearfix"><a class="decl__anchor" href="#t:C2">#</a><span>C2</span> </h3><div class="decl__body"><pre class="decl__signature"><code><span class="keyword">class</span> <a href="Main.html#t:C2" title="Main.C2"><span class="ctor">C2</span></a> a </code></pre></div></div><div class="decl" id="t:C3"><h3 class="decl__title clearfix"><a class="decl__anchor" href="#t:C3">#</a><span>C3</span> </h3><div class="decl__body"><pre class="decl__signature"><code><span class="keyword">class</span> <a href="Main.html#t:C3" title="Main.C3"><span class="ctor">C3</span></a> a </code></pre></div></div></div><div class="col col--aside"><h3>Modules</h3><ul><li><a href="Main.html">Main</a></li><li><a href="Prim.html">Prim</a></li><li><a href="Prim.Boolean.html">Prim.Boolean</a></li><li><a href="Prim.Coerce.html">Prim.Coerce</a></li><li><a href="Prim.Ordering.html">Prim.Ordering</a></li><li><a href="Prim.Row.html">Prim.Row</a></li><li><a href="Prim.RowList.html">Prim.RowList</a></li><li><a href="Prim.Symbol.html">Prim.Symbol</a></li><li><a href="Prim.TypeError.html">Prim.TypeError</a></li></ul></div></main></div><div class="footer clearfix"><p>Generated by purs 0.13.6 [development build; commit: df3170f5bb0ba21517e2ca72db6aee5c479c99df]</p></div></body></html>