isUnion :: S.Type -> Bool
isUnion (S.Type { S.typeDesc = S.Union {} }) = True
isUnion :: S.Type -> Bool
isUnion (S.Type { S.typeDesc = S.Union {} }) = True
isUnion (S.Type { S.typeDesc = S.Union {} }) = True