Leave type signature abstract.
Work in progress.