Use normal case classes for Empty and Just