Documenting Puzzles.Compose
Introducing a proper type for puzzle types.