Fun with types.