Update example4.
Weaken too strong constraint.
Update example along with library.
Add cabal target for example4 executable.