Remove monad-laws specs -- they don't apply