Experimenting with type decls.