RosettaCodeData/Task/Inheritance-Single/Haskell/inheritance-single.hs

class Animal a
class Animal a => Cat a
class Animal a => Dog a
class Dog a => Lab a
class Dog a => Collie a