Sum package:bifunctors