* src/HECS/Internal.hs: