module Ant where type Ants = Int anteater :: Int -> Int anteater :: Int -> Int anteater Int x = Int xInt -> Int -> Int forall a. Num a => a -> a -> a +Int 1 aardvark :: Int -> Int aardvark = Int -> Int anteater