Add another test.

tests/modsys/T11.icry

@@ -0,0 +1 @@
+:module T11::Main

tests/modsys/T11.icry.stdout

@@ -0,0 +1,3 @@
+Loading module Cryptol
+Loading module T11::A
+Loading module T11::Main

tests/modsys/T11/A.cry

@@ -0,0 +1,12 @@
+module T11::A where
+
+parameter
+  type X : #
+  type Y : #
+
+type T = ([X],[Y])
+
+f : T -> [X]
+f (x,_) = x
+
+

tests/modsys/T11/Main.cry

@@ -0,0 +1,9 @@
+module T11::Main where
+
+import `T11::A as X
+
+
+f : X::T 1 2 -> [1]
+f = X::f
+
+