Odd experiments using tagged types as operations.