apply = \x. \y. (x : Mono Int)