pprintFieldTypes :: [(String, TermType)] -> String
pprintFieldTypes fields = intercalate "," (map (\(f, t) -> f ++ ":" ++ pprintType t) fields)
pprintFieldTypes :: [(String, TermType)] -> String
pprintFieldTypes fields = intercalate "," (map (\(f, t) -> f ++ ":" ++ pprintType t) fields)
pprintFieldTypes fields = intercalate "," (map (\(f, t) -> f ++ ":" ++ pprintType t) fields)