T914.hs

{-@ LIQUID "--higherorder" @-}

module T914 where

import Language.Haskell.Liquid.ProofCombinators

{-@ inline compose @-}

{-@ compose :: f:(b -> c) -> g:(a -> b) -> x:a -> c @-}
compose :: (b -> c) -> (a -> b) -> a -> c
compose f g x = f (g x)