flesh out example

examples/src/Main.hs

@@ -1,4 +1,18 @@
+{-# LANGUAGE DataKinds #-}
 module Main where
 
+import Control.Monad.Freer
+import Teletype
+
+runner :: Eff '[Teletype] ()
+runner = do
+  x <- getLine'
+  putStrLn' x
+  y <- getLine'
+  putStrLn' y
+
 main :: IO ()
-main = print "placeholder"
+main = do
+  let xs = runTeletypePure ["cat", "fish"] runner
+  print xs
+  runTeletype runner

stack.yaml

@@ -2,4 +2,4 @@ flags: {}
 packages:
 - '.'
 extra-deps: []
-resolver: lts-3.4
+resolver: lts-5.1