typeLiteral with attributes