Structural refinement types. - David Binder; Ingo Skupin; David Läwen; Klaus Ostermann (TyDe@ICFP, 2022)