Hidden some spec from HPC, need to make Shelly.hs visible