gistfile1.txt

// where `A` is a type and `a` is an instance of that type

data = (
  (a, b, c),
  (a, b),
  (a, c, d),
  (b, c, d, e),
  (b, a),
  (c, a, f, d),
  (b, a, c)
)


find[A](data) = (
  (a, b, c),
  (a, b),
  (a, c, d),
  (b, a),
  (c, a, f, d),
  (b, a, c)
)

find[A :: B](data) = (
  (a, b, c),
  (a, b),
  (b, a),
  (b, a, c)
)

find[A :: F :: C] = (
  (c, a, f, d)
)