isSynonym :: S.Type -> Bool
isSynonym (S.Type { S.typeDesc = S.Synonym {} }) = True
isSynonym :: S.Type -> Bool
isSynonym (S.Type { S.typeDesc = S.Synonym {} }) = True
isSynonym (S.Type { S.typeDesc = S.Synonym {} }) = True