data Openable A =
	OpenableInstance {            -- some interface
		open :: A -> (bool,A),
		close :: A -> A,
		peek :: A -> string
	}

data IOpenable =
	hide : forall A:Type, Openable A -> IOpenable
                  ^
                  existential type (hidden from the type of the IOpenable object itself)