:: a -> (a -> b) -> b -package:conferer package:funcmp