Data.Groupoid

class Groupoid k