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