module T7778 where

v :: ((Num Int => Num) ()) => ()
v = v