@hackage / constrained-dynamic

Dynamic typing with retained constraints