Bialgebra views: a way for polytypic programming to cohabit with data abstraction