haskell-src-exts-1.16.0: tests/examples/ConstraintKinds.hs.prettyprinter.golden

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module Main (main) where
 
class Foo a
 
data Bar a
 
type Bazable a b = (Bar a ~ Maybe b)
 
baz :: Bazable a b => a -> a
baz = id