Fix #810 and #814: don't infer polymorphic types for data constructors. - #835

👍

Coverage decreased (-0.11%) to 83.3% when pulling f89b14f on 810 into 5061808 on master.

Just to be sure what this fixes. Is this a fix for that bug where you have a Nothing say, that isn't at the top level, and the compiler tries to infer Maybe a when it should infer Maybe String or something?

Yes, in inference mode, the typechecker will now not infer the polymorphic type forall a. Maybe a for the expression Nothing, for example. In checking mode, nothing has changed.

Cool. Thanks!