pure interface of class pizza.lang.MatchError

public class MatchError
  extends Error
{
    public MatchError();
    public MatchError(String s);
}