refactored bimonads