PatternEitherTests pass