Name changes and addition of gcastWith and (==) to Data.Type.Equality.
drwxr-xr-x - libraries