purescript-0.11.0: examples/docs/src/TypeClassWithFunDeps.purs

module TypeClassWithFunDeps where

class TypeClassWithFunDeps a b c d e | a b -> c, c -> d e where
  aMember :: a -> b