Experimenting with type decls. any any any any :-(