path: root/testsuite/tests/indexed-types/should_compile/Simple23.hs

{-# LANGUAGE TypeFamilies #-}

module ShouldCompile where

plus :: (a ~ (Int -> Int)) => Int -> a
plus x y = x + y