Search.hs now typechecks, so obviously it must be entirely correct. yes.