sig
type
(_, _) app = ..
end