-record(semigroup, {concat :: fun((any(), any()) -> any())}).