Well, you can load up ghci and do
ghci > solve blah
Where blah is some number (room ID). Of course, this is after you implement the function.
Richard's giving you that module, and that notation just basically means the stuff (function and data types) exported from the module, that you...