Add a poor man's Maybe replacement.
Have the Perhaps type derive Show.
Update the list ADT file.