Working on a minimal introduction to Infers.