>>652
たとえば、こういうのはできるかな?

hoge :: Int -> Int -> Int
hoge a b = a + b

hoge2 :: (Int -> Int) -> Int -> Int
hoge2 a b = a b

hoge3 :: Int
hoge3 = hoge2 (hoge 1) 3