- nest :: Int -> (a -> a) -> a -> a
- powerAssociative :: (a -> a -> a) -> a -> a -> Integer -> a
- compose2 :: (b -> b -> c) -> (a -> b) -> a -> a -> c

- nest :: Int -> (a -> a) -> a -> a
- powerAssociative :: (a -> a -> a) -> a -> a -> Integer -> a
- compose2 :: (b -> b -> c) -> (a -> b) -> a -> a -> c