fp-ts-laws