On Sat, Aug 29, 2015 at 8:30 PM, David Banas <capn.freako@gmail.com> wrote:
Maybe I’ve got the syntax all wrong, but my intent is just to constrain the type ’t’ to be of class 'LogTree2 a’

That doesn't seem to make a lot of sense; "LogTree2 a" means that the type a is of class LogTree2. "LogTree2 a" is not something that a type can be an instance of.

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net