Module type F.A

type t