Design better software abstractions using bipartite composition (2019)