Strongly-typed FP workshop