TerminalMorphism

class TerminalMorphism f a x