The "Concept" idea is very cool... seems like it would make it really easy to construct refinement types and build validation into the type system.