Andrzej Filinski Representing Monads. 446-457 1994 POPL db/conf/popl/popl94.html#Filinski94