Implement the profile switching function.
Implement the command.
Update the cabal file.