1 files changed, 9 insertions, 0 deletions
diff --git a/examples/file.ts b/examples/file.ts
new file mode 100644
index 0000000..3de26d3
--- /dev/null
+++ b/examples/file.ts
@@ -0,0 +1,9 @@
+import { Bind, Kind1, ReadFile, PutStringLn } from '../src/stdlib'
+
+interface PrintK extends Kind1<string> {
+  return: PutStringLn<this['input']>
+}
+
+export type main = [
+  Bind<ReadFile<"./default.nix">, PrintK>,
+]