Procedural types seem to work!