@hackage constrained-dynamic0.1.0.0

Dynamic typing with retained constraints

Like Data.Dynamic, but extended to allow the specification of arbitrary constraints using ConstraintKinds.