Create inheritance-types.hs

This uses types to eliminate the redundancy in "base".