restrict the GHC version in sodium-example

closes #4.