Update Internal.hs