Index: tests/.expect/global-monomorph.txt
===================================================================
--- tests/.expect/global-monomorph.txt	(revision 74cfafb235e29a75b88ba08ecc8decc452cdb6f7)
+++ tests/.expect/global-monomorph.txt	(revision 74cfafb235e29a75b88ba08ecc8decc452cdb6f7)
@@ -0,0 +1,1 @@
+Compilation Successful.
Index: tests/global-monomorph.cfa
===================================================================
--- tests/global-monomorph.cfa	(revision 74cfafb235e29a75b88ba08ecc8decc452cdb6f7)
+++ tests/global-monomorph.cfa	(revision 74cfafb235e29a75b88ba08ecc8decc452cdb6f7)
@@ -0,0 +1,37 @@
+// Crea
+
+#include <stdlib.hfa>
+#include <stdio.h>
+
+forall(dtype T)
+void poly0(T &) {}
+
+forall(dtype T | sized(T))
+void poly1(T &) {}
+
+forall(otype T)
+void poly2(T &) {}
+
+struct wrapper {
+    void (*mono)(int &);
+};
+
+/* These are failing (#193):
+void (*mono0)(int &) = poly0;
+void (*mono1)(int &) = poly1;
+void (*mono2)(int &) = poly2;
+struct wrapper mono0w = { poly0 };
+struct wrapper mono1w = { poly1 };
+struct wrapper mono2w = { poly2 };
+*/
+void (*mono0c)(int &) @= poly0;
+void (*mono1c)(int &) @= poly1;
+void (*mono2c)(int &) @= poly2;
+struct wrapper mono0wc @= { poly0 };
+struct wrapper mono1wc @= { poly1 };
+struct wrapper mono2wc @= { poly2 };
+
+int main(void) {
+	printf("Compilation Successful.\n");
+	return 0;
+}