-module(fp2@semigroup).
-compile(no_auto_import).

-export_type([semigroup/1]).

-type semigroup(EOA) :: {semigroup, fun((EOA, EOA) -> EOA)}.