Comments to explain strict overlap checking for type family instances