HTTP response

module Main

ByteString : Type
ByteString = String

record Response where
  constructor MkResponse
  status : Int
  body   : if status == 201 then () else ByteString

main : IO ()
main = putStrLn "Hello World!"