no special instance for Ptr_atm stuff, it's just equality