diff --git a/ski/ski-tests.ts b/ski/ski-tests.ts
new file mode 100644
index 000000000..73b8b4392
--- /dev/null
+++ b/ski/ski-tests.ts
@@ -0,0 +1,9 @@
+/// <reference path="./ski.d.ts" />
+
+import { S, K, I } from 'ski';
+
+var foo: string = S(a => b => a + b, a => a.split('').reverse().join(''), 'bar'); // barrab
+
+var foo: string = K('bar')(); // bar
+
+var foo: string = I('bar'); // bar
diff --git a/ski/ski.d.ts b/ski/ski.d.ts
new file mode 100644
index 000000000..dba4b9840
--- /dev/null
+++ b/ski/ski.d.ts
@@ -0,0 +1,10 @@
+// Type definitions for ski 1.1.0
+// Project: https://github.com/jden/ski
+// Definitions by: Aya Morisawa <https://github.com/AyaMorisawa>
+// Definitions: https://github.com/borisyankov/DefinitelyTyped
+
+declare module "ski" {
+	export function S<T, S, U>(x: (z: U) => (y: S) => T, y: (z: U) => S, z: U): T;
+	export function K<T, S>(x: T): (y?: S) => T
+	export function I<T>(x: T): T;
+}