diff --git a/integration_tests/types_test.ucg b/integration_tests/types_test.ucg
index 5c213bd..b769cb5 100644
--- a/integration_tests/types_test.ucg
+++ b/integration_tests/types_test.ucg
@@ -112,13 +112,15 @@ assert t.ok{
     desc = "You can cast true into a string",
 };
 
+// Shapes and their specifiers
+
 let mystr::"" = "a string";
 
 let struct_shape = {
     foo :: "" = "",
 };
 
-let func_shape = func(arg :: "", arg2 :: "") => arg + arg2 :: "";
+let func_shape = func(arg :: "", arg2 :: "") => arg + arg2;
 
 let module_shape = module{self={}} => (result :: {}) {
     let result :: {} = self;
diff --git a/src/parse/mod.rs b/src/parse/mod.rs
index 96b9f90..a0f58c0 100644
--- a/src/parse/mod.rs
+++ b/src/parse/mod.rs
@@ -437,7 +437,6 @@ fn func_expression(input: SliceIter<Token>) -> Result<SliceIter<Token>, Expressi
         _ => must!(punct!(")")),
         _ => must!(punct!("=>")),
         map =>  trace_parse!(expression),
-        _ => optional!(shape_suffix),
         (pos, arglist, map)
     );
     match parsed {