Show-case in example.rkt