Resident Monadic Self