Module type b.c

type t =
  1. | A of t