module Refactor.GenerateTypeSignature.PolymorphSubMulti where

f :: (Num a, Ord a) => a -> a
f a = g a where
  g :: (Num t, Ord t) => t -> t
  g a = if a > 0 then a + 1 else a