isRecord :: S.Type -> Bool
isRecord (S.Type { S.typeDesc = S.Record {} }) = True
isRecord :: S.Type -> Bool
isRecord (S.Type { S.typeDesc = S.Record {} }) = True
isRecord (S.Type { S.typeDesc = S.Record {} }) = True