Module type Recent.PolyS

type t = [
| `A
| `B
]