Define
  case size(green(name)) = length(name)
  case size(yellow(m,n)) = m
%Define