Fs.Pi
module type DIR = sig ... end
type Resource.pi +=
| Dir : ('t, (module DIR with type t = 't), [> dir_ty ]) Resource.pi