path: root/testsuite/tests/ghc-regress/indexed-types/should_compile/Simple17.hs

{-# LANGUAGE TypeFamilies #-}
module Simple17 where

foo :: Int -> Int
foo n = bar n
  where
    bar :: t ~ Int => Int -> t
    bar n = n