isVector :: S.Type -> Bool
isVector (S.Type { S.typeDesc = S.Vector {} }) = True
isVector :: S.Type -> Bool
isVector (S.Type { S.typeDesc = S.Vector {} }) = True
isVector (S.Type { S.typeDesc = S.Vector {} }) = True