ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/ExplicitSpecificity4.hs

{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}

module ExplicitSpecificity4 where

class C a where
  f         :: forall {z}. z -> a -> a
  default f :: forall {z}. z -> a -> a
  f _ x = x

  g         :: forall z. z -> a -> a
  g _ x = x