Module type b.c

type t =
| A of t