I see it now. I'm not sure we want to support this just yet. Can you remove the type-level functionality and open an issue about supporting type-level declarations for a larger discussion?