a composable interface for serialising objects
Predicates in perl6
Runtime validation of associative datastructures
A basic compilation checker