Add type signatures to cope with lack of local generalisation