Forgot to import proper-list from trivial-types.