@liamoc If I’m not mistaken, what you’re actually looking for is this:
module Example = (A: AType, B: BType with type t = A.t) => {
...
}
↧
Module types for multi-argument functors
↧