KType.js

// : String
const name = "Kurtis Rainbolt-Greene"

// : Array of String
const friends = [
  "Jack",
  "Jill"
]

// : String -> Boolean
const isJName = startsWith("J")

// : String -> Object where "name" is String, "age" is Integer
const fetch = (uuid) => database.table("users").where({id: uuid}).first()

// : Message as Map where "body" is String, "timestamp" is Date
// : History as Array of Message
// : History -> Integer
const analyze = (history) => withModel("slurs", history)