Is there a particular reason why we have e.g.
exerciseCmd etc. instead of just plain
Granted there is a namespace clash with prelude, but you can always
import qualified, and I would think it good practice to keep scripts in a separate file from models in general.