Thanks, everyone. I will look up some of these ideas.

I hadn't thought of the fact that Functor has kind *->*. (Googly-eyed Pinnochio? Just kidding.) I just thought that my data types contained other types.

-Johann