diff --git a/lib/interface-types/src/ast.rs b/lib/interface-types/src/ast.rs
index d8b82f588..1a9c89b69 100644
--- a/lib/interface-types/src/ast.rs
+++ b/lib/interface-types/src/ast.rs
@@ -5,7 +5,7 @@ use crate::interpreter::Instruction;
 use std::str;
 
 /// Represents the types supported by WIT.
-#[derive(PartialEq, Clone, Debug)]
+#[derive(PartialEq, Clone, Copy, Debug)]
 pub enum InterfaceType {
     /// An integer.
     Int,
diff --git a/lib/interface-types/src/decoders/mod.rs b/lib/interface-types/src/decoders/mod.rs
index 0ac9d881d..1b2aaaffe 100644
--- a/lib/interface-types/src/decoders/mod.rs
+++ b/lib/interface-types/src/decoders/mod.rs
@@ -2,3 +2,4 @@
 //! `decoders::binary` reads the AST from a binary.
 
 pub mod binary;
+pub mod wat;
diff --git a/lib/interface-types/src/decoders/wat.rs b/lib/interface-types/src/decoders/wat.rs
new file mode 100644
index 000000000..581f4d566
--- /dev/null
+++ b/lib/interface-types/src/decoders/wat.rs
@@ -0,0 +1,242 @@
+//! Parse the WIT textual representation into an AST.
+
+#![allow(unused)]
+
+use crate::ast::*;
+use nom::{
+    branch::alt,
+    bytes::complete::{escaped, tag, take_while1},
+    character::complete::{alphanumeric1, char, one_of},
+    combinator::{cut, opt, value},
+    error::ParseError,
+    multi::many0,
+    sequence::{delimited, preceded, terminated, tuple},
+    IResult,
+};
+
+/// Parse a whitespace.
+fn whitespace<'input, E: ParseError<&'input str>>(
+    input: &'input str,
+) -> IResult<&'input str, &'input str, E> {
+    let whitespaces = " \t\r\n";
+
+    take_while1(move |c| whitespaces.contains(c))(input)
+}
+
+/// Parse an `InterfaceType`.
+fn interface_type<'input, E: ParseError<&'input str>>(
+    input: &'input str,
+) -> IResult<&'input str, InterfaceType, E> {
+    let int = value(InterfaceType::Int, tag("Int"));
+    let float = value(InterfaceType::Float, tag("Float"));
+    let any = value(InterfaceType::Any, tag("Any"));
+    let string = value(InterfaceType::String, tag("String"));
+    let seq = value(InterfaceType::Seq, tag("Seq"));
+    let r#i32 = value(InterfaceType::I32, tag("i32"));
+    let r#i64 = value(InterfaceType::I64, tag("i64"));
+    let r#f32 = value(InterfaceType::F32, tag("f32"));
+    let r#f64 = value(InterfaceType::F64, tag("f64"));
+    let anyref = value(InterfaceType::AnyRef, tag("anyref"));
+
+    alt((
+        int, float, any, string, seq, r#i32, r#i64, r#f32, r#f64, anyref,
+    ))(input)
+}
+
+/// Parse a string.
+fn string<'input, E: ParseError<&'input str>>(
+    input: &'input str,
+) -> IResult<&'input str, &'input str, E> {
+    escaped(alphanumeric1, '\\', one_of(r#""\"#))(input)
+}
+
+/// Parse a `(param …)`.
+fn param<'input, E: ParseError<&'input str>>(
+    input: &'input str,
+) -> IResult<&'input str, Vec<InterfaceType>, E> {
+    delimited(
+        char('('),
+        preceded(
+            opt(whitespace),
+            preceded(tag("param"), many0(preceded(whitespace, interface_type))),
+        ),
+        char(')'),
+    )(input)
+}
+
+/// Parse a `(result …)`.
+fn result<'input, E: ParseError<&'input str>>(
+    input: &'input str,
+) -> IResult<&'input str, Vec<InterfaceType>, E> {
+    delimited(
+        char('('),
+        preceded(
+            opt(whitespace),
+            preceded(tag("result"), many0(preceded(whitespace, interface_type))),
+        ),
+        char(')'),
+    )(input)
+}
+
+/// Parse an `Export`.
+fn export<'input, E: ParseError<&'input str>>(
+    input: &'input str,
+) -> IResult<&'input str, Export, E> {
+    //(@interface export "name")
+    let (remains, (export_name, input_types, output_types)): (
+        &str,
+        (&str, Option<Vec<InterfaceType>>, Option<Vec<InterfaceType>>),
+    ) = delimited(
+        char('('),
+        preceded(
+            opt(whitespace),
+            preceded(
+                tag("@interface"),
+                preceded(
+                    whitespace,
+                    preceded(
+                        tag("export"),
+                        preceded(
+                            whitespace,
+                            tuple((
+                                preceded(char('"'), cut(terminated(string, char('"')))),
+                                opt(preceded(whitespace, param)),
+                                opt(preceded(whitespace, result)),
+                            )),
+                        ),
+                    ),
+                ),
+            ),
+        ),
+        char(')'),
+    )(input)?;
+
+    Ok((
+        remains,
+        Export {
+            name: export_name,
+            input_types: input_types.unwrap_or_else(|| vec![]),
+            output_types: output_types.unwrap_or_else(|| vec![]),
+        },
+    ))
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn test_whitespace() {
+        let inputs = vec![" a", "  a", "\n  a", "\r\n a"];
+        let outputs = vec![" ", "  ", "\n  ", "\r\n "];
+
+        for (nth, input) in inputs.iter().enumerate() {
+            assert_eq!(whitespace::<()>(input), Ok(("a", outputs[nth])));
+        }
+    }
+
+    #[test]
+    fn test_interface_type() {
+        let inputs = vec![
+            "Int", "Float", "Any", "String", "Seq", "i32", "i64", "f32", "f64", "anyref",
+        ];
+        let outputs = vec![
+            InterfaceType::Int,
+            InterfaceType::Float,
+            InterfaceType::Any,
+            InterfaceType::String,
+            InterfaceType::Seq,
+            InterfaceType::I32,
+            InterfaceType::I64,
+            InterfaceType::F32,
+            InterfaceType::F64,
+            InterfaceType::AnyRef,
+        ];
+
+        assert_eq!(inputs.len(), outputs.len());
+
+        for (nth, input) in inputs.iter().enumerate() {
+            assert_eq!(interface_type::<()>(input), Ok(("", outputs[nth])));
+        }
+    }
+
+    #[test]
+    fn test_param_empty() {
+        let input = "(param)";
+        let output = vec![];
+
+        assert_eq!(param::<()>(input), Ok(("", output)));
+    }
+
+    #[test]
+    fn test_param() {
+        let input = "(param i32 String)";
+        let output = vec![InterfaceType::I32, InterfaceType::String];
+
+        assert_eq!(param::<()>(input), Ok(("", output)));
+    }
+
+    #[test]
+    fn test_result_empty() {
+        let input = "(result)";
+        let output = vec![];
+
+        assert_eq!(result::<()>(input), Ok(("", output)));
+    }
+
+    #[test]
+    fn test_result() {
+        let input = "(result i32 String)";
+        let output = vec![InterfaceType::I32, InterfaceType::String];
+
+        assert_eq!(result::<()>(input), Ok(("", output)));
+    }
+
+    #[test]
+    fn test_export_with_no_param_no_result() {
+        let input = r#"(@interface export "foo")"#;
+        let output = Export {
+            name: "foo",
+            input_types: vec![],
+            output_types: vec![],
+        };
+
+        assert_eq!(export::<()>(input), Ok(("", output)));
+    }
+
+    #[test]
+    fn test_export_with_some_param_no_result() {
+        let input = r#"(@interface export "foo" (param i32))"#;
+        let output = Export {
+            name: "foo",
+            input_types: vec![InterfaceType::I32],
+            output_types: vec![],
+        };
+
+        assert_eq!(export::<()>(input), Ok(("", output)));
+    }
+
+    #[test]
+    fn test_export_with_no_param_some_result() {
+        let input = r#"(@interface export "foo" (result i32))"#;
+        let output = Export {
+            name: "foo",
+            input_types: vec![],
+            output_types: vec![InterfaceType::I32],
+        };
+
+        assert_eq!(export::<()>(input), Ok(("", output)));
+    }
+
+    #[test]
+    fn test_export_with_some_param_some_result() {
+        let input = r#"(@interface export "foo" (param String) (result i32 i32))"#;
+        let output = Export {
+            name: "foo",
+            input_types: vec![InterfaceType::String],
+            output_types: vec![InterfaceType::I32, InterfaceType::I32],
+        };
+
+        assert_eq!(export::<()>(input), Ok(("", output)));
+    }
+}