Hi, I was recently playing around with unionize and discovered that using {} to represent members of the union which take no arguments doesn't actually prevent you from passing arguments through in the functions passed to match via the type constructors. I think, ideally, you would receive a type error when trying to pass any argument at all due to that being the intention of modeling a simple, "empty" type.
Do you have any ideas for how this could be made to work? Is it possible?