{-@ LIQUID "--exact-data-con" @-}

module Bools where 

{-@ measure amTrue @-}
amTrue :: Bool -> Bool
amTrue True = True 
amTrue False = False 

{-@ reflect boo @-}
boo :: Bool -> Bool
boo True = True 
boo False = False 

data Bow = Pow Int