(define
	(domain mystery-typed)
	(:requirements :typing)
	(:types
		foo - object
		bar - (either foo foo)
	)
)