Partial implementation of nominal case