FP1:C# Monad ERH