20 Sep
2021
20 Sep
'21
1:17 p.m.
On Mon, Sep 20, 2021 at 01:13:43PM -0400, David Feuer wrote:
Does one field name for one datatype always refer to a field with the same type? Or is there some wacky extension that would allow things like
data Foo = Bar { zoom :: Int } | Baz { zoom :: Char }
I'm hoping I don't have to worry about the latter possibility....
Me too! Under such circumstances what would the type of field-as-function be?