1 2 3 4 5 6 7 8 9
{-# LANGUAGE TypeFamilies #-} module Simple17 where foo :: Int -> Int foo n = bar n where bar :: t ~ Int => Int -> t bar n = n