update to use Control.GArrow instead of GHC.HetMet.GArrow

[coq-hetmet.git] / examples / Fail.hs

diff --git a/examples/Fail.hs b/examples/Fail.hs
new file mode 100644 (file)
index 0000000..06466bc
--- /dev/null
+++ b/examples/Fail.hs
@@ -0,0 +1,2 @@
+applyCircuit =
+  <[ \higherOrderCircuit -> \arg -> higherOrderCircuit arg ]>