This package provides a canonical anonymous 1-tuple type missing from Haskell for attaching typeclass instances.