Bug? - 'forall' in type/data - decls