Hello trent, On Fri, Sep 21, 2018 at 03:26:02AM -0700, trent shipley wrote: > data Prop = Const Bool > [...] changing all the three occurrences of Yff to Iff does not produce error. If you change only two you will get an error, because you have a pattern-matching against a non-existent constructor -F