witness types

• Next: one witness type is enough
• Prev: a potted history of indexed datatypes
• index of these slides
• Conor's home page