haskell-src-exts-1.24.0: tests/examples/ConstraintKinds3.hs
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE MultiParamTypeClasses #-}
class Foo c a where
bar :: (c a) => a -> a
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE MultiParamTypeClasses #-}
class Foo c a where
bar :: (c a) => a -> a