idris-lang/Idris-dev — pull request #821 by david-christiansen (2014-01-30 15:22:35+00:00)
Title: Allow class names to be infix

Use case:

class (:<:) (f : Type -> Type) (g : Type -> Type) where
isSubFun : SubFunctor f g