haskell-src-exts-1.17.0: tests/examples/ConstraintKinds3.hs.prettyprinter.golden
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module Main (main) where
class Foo c a where
bar :: (c a) => a -> a
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module Main (main) where
class Foo c a where
bar :: (c a) => a -> a