:: a -> (a -> b) -> b -package:rio -package:incipit-base package:funcmp