Representing Function as Effect · Study