kempe-0.2.0.1: lib/these.kmp

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