module Groupoid
  ( Groupoid(..)
  ) where

import Data.Groupoid (Groupoid(inv))