1 files changed, 2 insertions, 5 deletions
diff --git a/README.md b/README.md
index 1f82e4f..c52e304 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
 # TS Types lang [WIP]
-A runtime for ts types that turns it into a general purpose, purely functional programming language!
+A runtime for typescript's **type system** that turns it into a **general purpose**, **purely functional** programming language!
 
 Take a look at the [./examples](./examples) directory for examples on how to write a program in typescript types
 
@@ -11,10 +11,7 @@ import { PutString, PutStringLn, Bind, Kind1, ReadLine, Do } from 'ts-types-lang
 
 // :: string -> Effect ()
 interface GreetK extends Kind1<string> {
-  return: Do<[
-    PutString<"Hello, ">,
-    PutStringLn<this['input']>
-  ]>,
+  return: PutString<`Hello, ${this['input']}`>,
 }
 
 // main :: [Effect ()] | Effect ()