Finished interfaces for standard ADTs. #1