Allow arguments use same type as return