Moved Types.hs to Internal.hs