added Robin's hspecs to Lab5.hs