:: a -> (a -> b) -> b -package:protolude -package:base-compat -package:servant-client-core package:funcmp