From b8a4ab3f10c1039970901e56f5abe24301f38406 Mon Sep 17 00:00:00 2001
From: joshuareagan <joshuareagan@gmail.com>
Date: Wed, 5 Dec 2018 22:23:36 -0600
Subject: [PATCH] type variance bug fix

---
 sys/hoon.hoon | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/sys/hoon.hoon b/sys/hoon.hoon
index 560cd45a28..0ac2d0d487 100644
--- a/sys/hoon.hoon
+++ b/sys/hoon.hoon
@@ -9762,13 +9762,17 @@
   ++  felt
     ~/  %felt
     |=  lap/opal
+    !:
     ^-  type
     ?-  -.lap
       %&  p.lap
-      %|  %-  fire
+      %|  %-  fork
           %+  turn  ~(tap in q.lap)
-          |=  {a/type b/foot}
-          [a [%dry %$ 1]]
+          |=  [a=type b=foot]
+          :-  %hold
+          ?.  ?=([%core *] a)  !!
+          =+  dox=[%core q.q.a q.a]
+          [dox [%$ 1]]
     ==
   ::                                                    ::
   ++  feel                                              ::  detect existence