WLS: working through the introduction to the types and values chapter;  it's quite complicated ... no surprises there.