The kernel language of FX-87.
["Polymorphic Effect Systems", J.M. Lucassen et al, Proc 15th Ann ACM Conf POPL, ACM 1988, pp.47-57].