path: root/testsuite/tests/partial-sigs/should_fail/T14479.hs

{-# LANGUAGE ScopedTypeVariables, PartialTypeSignatures #-}

module T14479 where

foo :: Num a => a -> a
foo xxx = g xxx
  where
    g :: forall b. Num b => _ -> b
    g y = xxx + y