data-checked-0.3: Type-indexed runtime-checked properties

This package provides a (phantom) type-indexed newtype evidence-wrapper for values that are checked to satisfy the property associated with the type.