Added list instance for the EtaExpandible type class