looks like you can only specify the names of the constructors and not their contents, as in `(data Maybe (Nothing Just))`, so there's nothing stopping a user fr

looks like you can only specify the names of the constructors and not their contents, as in `(data Maybe (Nothing Just))`, so there's nothing stopping a user from doing `(Nothing 1 2 3)` or `(Just)`. interesting choice! also since people reading this might be interested, i made something similar for Python a while ago: https://github.com/lubieowoce/sumtype https://github.com/lubieowoce/sumtype