Agda-2.3.2.2: aclocal.m4

m4_include(macros/fptools.m4)
m4_include(macros/utils.m4)
m4_include(macros/haskell.m4)