returnFC :: a -> FCode a
returnFC val = FCode (\_info_down state -> (# val, state #))
returnFC :: a -> FCode a
returnFC val = FCode (\_info_down state -> (# val, state #))
returnFC val = FCode (\_info_down state -> (# val, state #))