Play Магия F# для обработки данных: монады, провайдеры типов и немножко теории категорий