module BellF where
import NullF(getF,putF)
import Command
import Xcommand

bellF :: F ho ho
bellF = forall {a} {ho}. Cont (F a ho) a
getF forall a b. (a -> b) -> a -> b
$ \ ho
x ->
 	forall {i} {o}. XCommand -> F i o -> F i o
xcommandF (Int -> XCommand
Bell Int
0) forall a b. (a -> b) -> a -> b
$
	forall {ho} {hi}. ho -> F hi ho -> F hi ho
putF ho
x forall a b. (a -> b) -> a -> b
$
 	F ho ho
bellF