$> package:bifunctors