Outline
An experiment with Type.