Bookkeeper

Preamble

Initialization

emptyBook

Getters

(?:)

get

Setters

set

(=:)

Modifying

modify

(%:)

Deleting

delete

Types

type Book a

type a :=> b

data Key a

Re-exports

(&)

For coercion

data ChooseFirst a