deque-blog/build_john.idr

## build_john.idr
build_john : StringBuilder
build_john = do
  john <- Pure "John"
  let john_doe = john ++ " Doe" ++ concat (replicate 10 "!")
  Pure john_doe
	build_john : StringBuilder
	build_john = do
	john <- Pure "John"
	let john_doe = john ++ " Doe" ++ concat (replicate 10 "!")
	Pure john_doe