Initial ideal for monadic commands in go