{-# LANGUAGE MultiParamTypeClasses #-}

module Foo where

class Foo a b