experimenting with types