fix type synonym in Examples.lhs