Relude_Interface.FUNCTION_1
Module type which captures a simple a => b function
type a
type b
let f: a => b;