Module type Mimic.REPR

type t
type flow +=
  1. | T of t