Language.Clafer.Intermediate.ResolverType
resolveTModule
intersects
(+++)
fromUnionType
unionType