[Haskell-beginners] Restrict type in phantom data-type

[Baa]

@Francesco: yes, it's a solution. But more interesting here is to make
it on type level, like we do it in D, Java, etc where you can say:
"class derived from...", "class before...", "class after...".


> On Fri, Sep 01, 2017 at 04:55:32PM +0200, Francesco Ariis wrote:
> >     module MyType (rainy, Day, Sunny) -- *not* Day  
> 
> I meant to write: -- not `Day(..)`
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners