1 files changed, 27 insertions, 0 deletions
diff --git a/stdlib/source/test/lux/type/poly/functor.lux b/stdlib/source/test/lux/type/poly/functor.lux
new file mode 100644
index 000000000..da5b00391
--- /dev/null
+++ b/stdlib/source/test/lux/type/poly/functor.lux
@@ -0,0 +1,27 @@
+(.module:
+  [library
+   [lux #*
+    [abstract
+     [monad (#+ do)]
+     [functor
+      [\\poly
+       ["." /]]]]
+    ["r" math/random (#+ Random)]
+    ["_" test (#+ Test)]
+    [control
+     ["." state]]
+    [data
+     ["." identity]]
+    [type
+     [poly (#+ derived:)]]]])
+
+(derived: maybe_functor (/.functor .Maybe))
+(derived: list_functor (/.functor .List))
+(derived: state_functor (/.functor state.State))
+(derived: identity_functor (/.functor identity.Identity))
+
+(def: .public test
+  Test
+  (<| (_.covering /._)
+      (_.cover [/.functor]
+               true)))