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)
]