-- | Is an expression flat?
isFlatExp :: Exp NodeInfo -> Bool
isFlatExp (Lambda _ _ e) = isFlatExp e
isFlatExp :: Exp NodeInfo -> Bool
isFlatExp (Lambda _ _ e) = isFlatExp e
isFlatExp (Lambda _ _ e) = isFlatExp e