pprintAtomicType (TypeRecord fields) = printf "{%s}" (pprintFieldTypes fields)
pprintAtomicType (TypeRecord fields) = printf "{%s}" (pprintFieldTypes fields)
pprintAtomicType (TypeRecord fields) = printf "{%s}" (pprintFieldTypes fields)