match # with
 | f =>
 end
 
match # with
 | A.f =>
 end