diff --git a/notebooks/IHaskell.ipynb b/notebooks/IHaskell.ipynb
index 44b45ae4..0e3f35aa 100644
--- a/notebooks/IHaskell.ipynb
+++ b/notebooks/IHaskell.ipynb
@@ -183,99 +183,12 @@
    "metadata": {},
    "outputs": [
     {
-     "data": {
-      "text/html": [
-       "<style>/* Styles used for the Hoogle display in the pager */\n",
-       ".hoogle-doc {\n",
-       "display: block;\n",
-       "padding-bottom: 1.3em;\n",
-       "padding-left: 0.4em;\n",
-       "}\n",
-       ".hoogle-code {\n",
-       "display: block;\n",
-       "font-family: monospace;\n",
-       "white-space: pre;\n",
-       "}\n",
-       ".hoogle-text {\n",
-       "display: block;\n",
-       "}\n",
-       ".hoogle-name {\n",
-       "color: green;\n",
-       "font-weight: bold;\n",
-       "}\n",
-       ".hoogle-head {\n",
-       "font-weight: bold;\n",
-       "}\n",
-       ".hoogle-sub {\n",
-       "display: block;\n",
-       "margin-left: 0.4em;\n",
-       "}\n",
-       ".hoogle-package {\n",
-       "font-weight: bold;\n",
-       "font-style: italic;\n",
-       "}\n",
-       ".hoogle-module {\n",
-       "font-weight: bold;\n",
-       "}\n",
-       ".hoogle-class {\n",
-       "font-weight: bold;\n",
-       "}\n",
-       ".get-type {\n",
-       "color: green;\n",
-       "font-weight: bold;\n",
-       "font-family: monospace;\n",
-       "display: block;\n",
-       "white-space: pre-wrap;\n",
-       "}\n",
-       ".show-type {\n",
-       "color: green;\n",
-       "font-weight: bold;\n",
-       "font-family: monospace;\n",
-       "margin-left: 1em;\n",
-       "}\n",
-       ".mono {\n",
-       "font-family: monospace;\n",
-       "display: block;\n",
-       "}\n",
-       ".err-msg {\n",
-       "color: red;\n",
-       "font-style: italic;\n",
-       "font-family: monospace;\n",
-       "white-space: pre;\n",
-       "display: block;\n",
-       "}\n",
-       "#unshowable {\n",
-       "color: red;\n",
-       "font-weight: bold;\n",
-       "}\n",
-       ".err-msg.in.collapse {\n",
-       "padding-top: 0.7em;\n",
-       "}\n",
-       ".highlight-code {\n",
-       "white-space: pre;\n",
-       "font-family: monospace;\n",
-       "}\n",
-       ".suggestion-warning { \n",
-       "font-weight: bold;\n",
-       "color: rgb(200, 130, 0);\n",
-       "}\n",
-       ".suggestion-error { \n",
-       "font-weight: bold;\n",
-       "color: red;\n",
-       "}\n",
-       ".suggestion-name {\n",
-       "font-weight: bold;\n",
-       "}\n",
-       "</style><span class='err-msg'>&lt;interactive&gt;:1:1: error:<br/>    • ‘Thing’ has no constructors (EmptyDataDecls permits this)<br/>    • In the data declaration for ‘Thing’</span>"
-      ],
-      "text/plain": [
-       "<interactive>:1:1: error:\n",
-       "    • ‘Thing’ has no constructors (EmptyDataDecls permits this)\n",
-       "    • In the data declaration for ‘Thing’"
-      ]
-     },
-     "metadata": {},
-     "output_type": "display_data"
+     "ename": "",
+     "evalue": "",
+     "output_type": "error",
+     "traceback": [
+      "<interactive>:1:1: error:\n    • ‘Thing’ has no constructors (EmptyDataDecls permits this)\n    • In the data declaration for ‘Thing’"
+     ]
     }
    ],
    "source": [
@@ -3275,97 +3188,12 @@
    "metadata": {},
    "outputs": [
     {
-     "data": {
-      "text/html": [
-       "<style>/* Styles used for the Hoogle display in the pager */\n",
-       ".hoogle-doc {\n",
-       "display: block;\n",
-       "padding-bottom: 1.3em;\n",
-       "padding-left: 0.4em;\n",
-       "}\n",
-       ".hoogle-code {\n",
-       "display: block;\n",
-       "font-family: monospace;\n",
-       "white-space: pre;\n",
-       "}\n",
-       ".hoogle-text {\n",
-       "display: block;\n",
-       "}\n",
-       ".hoogle-name {\n",
-       "color: green;\n",
-       "font-weight: bold;\n",
-       "}\n",
-       ".hoogle-head {\n",
-       "font-weight: bold;\n",
-       "}\n",
-       ".hoogle-sub {\n",
-       "display: block;\n",
-       "margin-left: 0.4em;\n",
-       "}\n",
-       ".hoogle-package {\n",
-       "font-weight: bold;\n",
-       "font-style: italic;\n",
-       "}\n",
-       ".hoogle-module {\n",
-       "font-weight: bold;\n",
-       "}\n",
-       ".hoogle-class {\n",
-       "font-weight: bold;\n",
-       "}\n",
-       ".get-type {\n",
-       "color: green;\n",
-       "font-weight: bold;\n",
-       "font-family: monospace;\n",
-       "display: block;\n",
-       "white-space: pre-wrap;\n",
-       "}\n",
-       ".show-type {\n",
-       "color: green;\n",
-       "font-weight: bold;\n",
-       "font-family: monospace;\n",
-       "margin-left: 1em;\n",
-       "}\n",
-       ".mono {\n",
-       "font-family: monospace;\n",
-       "display: block;\n",
-       "}\n",
-       ".err-msg {\n",
-       "color: red;\n",
-       "font-style: italic;\n",
-       "font-family: monospace;\n",
-       "white-space: pre;\n",
-       "display: block;\n",
-       "}\n",
-       "#unshowable {\n",
-       "color: red;\n",
-       "font-weight: bold;\n",
-       "}\n",
-       ".err-msg.in.collapse {\n",
-       "padding-top: 0.7em;\n",
-       "}\n",
-       ".highlight-code {\n",
-       "white-space: pre;\n",
-       "font-family: monospace;\n",
-       "}\n",
-       ".suggestion-warning { \n",
-       "font-weight: bold;\n",
-       "color: rgb(200, 130, 0);\n",
-       "}\n",
-       ".suggestion-error { \n",
-       "font-weight: bold;\n",
-       "color: red;\n",
-       "}\n",
-       ".suggestion-name {\n",
-       "font-weight: bold;\n",
-       "}\n",
-       "</style><span class='err-msg'>&lt;interactive&gt;:1:1: error: Variable not in scope: f :: Integer -&gt; t</span>"
-      ],
-      "text/plain": [
-       "<interactive>:1:1: error: Variable not in scope: f :: Integer -> t"
-      ]
-     },
-     "metadata": {},
-     "output_type": "display_data"
+     "ename": "",
+     "evalue": "",
+     "output_type": "error",
+     "traceback": [
+      "<interactive>:1:1: error: Variable not in scope: f :: Integer -> t"
+     ]
     }
    ],
    "source": [