Fixing hlint errors, adding type signatures
Rewrote ||- to be in the IO Monad and use randomize solution search