Explicit effect subtyping. - KARACHALIAS, GEORGIOS; PRETNAR, MATIJA; SALEH, AMR HANY; VANDERHALLEN, STIEN; SCHRIJVERS, TOM (Journal of Functional Programming, 2020)