Signature restriction for polymorphic algebraic effects - Sekiyama, Taro (Journal of Functional Programming)