type These a b { This a | That b | These a b }