Working on getting checked return types.