Further examples for GADTs