Partial implementation of compound types.