Semigroup
cats
step
Free
suspend
Free FreeT