path: root/testsuite/tests/partial-sigs/should_compile/T14643.hs

{-# LANGUAGE PartialTypeSignatures #-}

module T14653 where

af, ag :: (Num a,_) => a -> a
-- It's important that one signature covers both

af y = ag y
ag x = af (x-1)