-- Inicial
data Void -- sem construtores, tipo vazio (sem valores)!

f :: Void -> a
f void = f void

g :: Void -> a
g _ = undefined

-- Terminal: ()
h :: a -> ()
h _ = ()

data Professor = Hugo -- também é terminal