On Thu, Jan 1, 2015 at 4:29 PM, Bryan Gardiner <bog@khumba.net> wrote:
Doesn't "HostBinaryNum a => HostBinary a" create a HostBinary instance
for all instances of HostBinaryNum only?  So why would it cause

No, it creates an instance for all types, then checks for HostBinaryNum at the point where it tries to use the instance.

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