🍛 Curry the API (more)

[favonia]

@jonsterling expressed that we should perhaps curry the API more aggressively. In particular, these four functions can be curried without causing confusion:

val include_singleton : Trie.path * (Param.data * Param.tag) -> unit
val include_subtree : Trie.path * (Param.data, Param.tag) Trie.t -> unit
val import_singleton : Trie.path * (Param.data * Param.tag) -> unit
val import_subtree : Trie.path * (Param.data, Param.tag) Trie.t -> unit

[dannypsnl]

Do you mean

val _ : Trie.path -> (Param.data * Param.tag) -> unit

or

val _ : Trie.path -> Param.data -> Param.tag -> unit

I'm working on this.

[favonia]

val _ : Trie.path -> (Param.data * Param.tag) -> unit

Currently this one, but maybe @jonsterling can chime in.