:: (a -> b) -> a -> b package:semigroupoids